[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