Genode 19.08 demo on seL4/x86 build failing

[Alexander Boettcher]

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 at 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 at 32 type=1

As you see, the resolution was setup by grub2 to my internal display
resolution.

-- 
Alexander Boettcher
Genode Labs

https://www.genode-labs.com - https://www.genode.org

Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth