1 #include "vof.h" 2 3 void 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