1#include "vof.h" 2 3void boot_from_memory(uint64_t initrd, uint64_t initrdsize) 4{ 5 uint64_t kern[2]; 6 phandle chosen = ci_finddevice("/chosen"); 7 8 if (ci_getprop(chosen, "qemu,boot-kernel", kern, sizeof(kern)) != 9 sizeof(kern)) { 10 return; 11 } 12 13 do_boot(kern[0], initrd, initrdsize); 14} 15