Re: Testing genode on sel4 blocked by sdl

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