master
c 14 lines 311 Bytes
Raw
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 }