Re: [SeaBIOS] [PATCH v3 2/2] Boot Linux using QEMU fw_cfg DMA interface

[Gerd Hoffmann]

Hi,
> +void qemu_vmlinux_dma_setup(void) {
> if (qemu_cfg_dma_enabled()) {
>    boot_add_qemu_vmlinux("QEMU Kernel image",
>                    bootprio_find_named_rom("genroms/linuxboot.bin", 0));
> }
>
> +}

I think this adds an entry to the boot menu even if qemu was started
without -kernel.

What happens with -kernel?  Do we have two entries then, for both
fw_cfg_dma boot and the linuxboot rom?

cheers,
  Gerd