The binary might come in over a network such as infiniband. You can't really assume much about where the kernel is. kexec and the program are small, I think the cost is ok. ron -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://www.coreboot.org/pipermail/coreboot/attachments/20061031/297c0988/attachment.html>