Testing genode on sel4 blocked by sdl

[Christian Helmuth]

Hello Tao,

On Fri, Feb 11, 2022 at 02:27:08 CET, Tao Heng 陶恒-SW wrote:
> spawn qemu-system-x86_64 -no-kvm -display sdl -serial mon:stdio -m 800 -cdrom var/run/demo.iso -machine q35 -net nic,model=e1000,netdev=net0 -netdev user,id=net0
> 
> qemu-system-x86_64: Display 'sdl' is not available.
> 
> Aborting, received EOF
> 
> Was my qemu tools not matching the genode version ?  Any workaround
> method to display the result ?

It seems your Qemu does not support the SDL backend. Please try to
comment out (or delete) the following line in <build-dir>/etc/build.conf.


  QEMU_OPT += -display sdl

Regards
-- 
Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · https://genodians.org/

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