On 16.09.19 20:25, Adam T. Wiethuechter wrote:
Interestingly adding your other changes (to switch to the fb_boot_drv) causes QEMU to at least get to outputting "Booting Genode on seL4" only to stop there. This is the output of that particular run if interested.
spawn qemu-system-x86_64 -no-kvm -display sdl -serial mon:stdio -m 512 -cdrom var/run/demo.iso -machine q35 qemu-system-x86_64: warning: TCG doesn't support requested feature: CPUID.01H:ECX.vmx [bit 5] Bender: Hello World. Boot config: parsing cmdline 'sel4 disable_iommu' Boot config: console_port = 0x3f8 Boot config: debug_port = 0x3f8 Boot config: disable_iommu = true module #0: start=0xf5ff000 end=0xffff330 size=0xa00330 name='image.elf' Physical Memory Region from 0 size 9fc00 type 1 Physical Memory Region from 9fc00 size 400 type 2 Physical Memory Region from f0000 size 10000 type 2 Physical Memory Region from 100000 size 1fedf000 type 1 Adding physical memory region 0x100000-0x1ffdf000 Physical Memory Region from 1ffdf000 size 21000 type 2 Physical Memory Region from b0000000 size 10000000 type 2 Physical Memory Region from fed1c000 size 4000 type 2 Physical Memory Region from fffc0000 size 40000 type 2 Got framebuffer info in multiboot2. Current video mode is at physical address=b8000 pitch=160 resolution=80x25@16 type=2
As said, if Qemu manages to switch on the graphic mode you are fine. According to your output it is running in text console mode 80x25, so no graphics for you.
Just as reference the working version:
spawn qemu-system-x86_64 -no-kvm -display sdl -serial mon:stdio -m 512 -cdrom var/run/demo.iso -machine q35 Boot config: parsing cmdline 'sel4 disable_iommu' Boot config: console_port = 0x3f8 Boot config: debug_port = 0x3f8 Boot config: disable_iommu = true module #0: start=0xf5c4000 end=0xffff330 size=0xa3b330 name='image.elf' Physical Memory Region from 0 size 9fc00 type 1 Physical Memory Region from 9fc00 size 400 type 2 Physical Memory Region from f0000 size 10000 type 2 Physical Memory Region from 100000 size 1fedf000 type 1 Adding physical memory region 0x100000-0x1ffdf000 Physical Memory Region from 1ffdf000 size 21000 type 2 Physical Memory Region from b0000000 size 10000000 type 2 Physical Memory Region from fed1c000 size 4000 type 2 Physical Memory Region from fffc0000 size 40000 type 2 Got framebuffer info in multiboot2. Current video mode is at physical address=fd000000 pitch=10240 resolution=2560x1600@32 type=1
As you see, the resolution was setup by grub2 to my internal display resolution.