#include "vof.h"

void boot_from_memory(uint64_t initrd, uint64_t initrdsize)
{
    uint64_t kern[2];
    phandle chosen = ci_finddevice("/chosen");

    if (ci_getprop(chosen, "qemu,boot-kernel", kern, sizeof(kern)) !=
        sizeof(kern)) {
        return;
    }

    do_boot(kern[0], initrd, initrdsize);
}