Hi,
> That's fine with me. Marc - I think qemu_vmlinux_setup() in SeaBIOS
> with the following would work:
>
> void qemu_vmlinux_setup(void)
> {
> u32 kernel_size;
> qemu_cfg_read_entry(&kernel_size, QEMU_CFG_KERNEL_SIZE,
> sizeof(kernel_size));
> if (kernel_size)
> boot_add_qemu_vmlinux("QEMU Kernel image", 0);
> }
It isn't that simple. We also have support for multiboot kernels (using
multiboot.bin option rom). So when doing this you need to be prepared
to find a multiboot kernel in fw_cfg.
cheers,
Gerd
