Hi,
I am a researcher at Inria France and am presently exploring Genode as a potential option to perform hands on with Sel4. I am relatively new to Genode and having an issue while installing it.
Here is the issue:
I am trying to install Genode on Ubuntu (16.04 LTS) running within a container. I am able to successfully see through all the installation steps.
However, when I issue the final command: make -C build/x86_32 KERNEL=okl4 run/demo, I get this following error.
make[1]: Leaving directory '/Genode/genode/build/x86_32'
genode build completed
using 'core-okl4.o' as 'core.o'
using 'ld-okl4.lib.so' as 'ld.lib.so'
using 'pit_timer_drv' as 'timer'
install bootloader
creating ISO image...
xorriso 1.4.2 : RockRidge filesystem manipulator, libburnia project.
spawn qemu-system-i386 -no-kvm -display sdl -serial mon:stdio -m 512 -cdrom var/run/demo.iso
Could not initialize SDL(No available video device) - exiting
Aborting, received EOF
Log step failed, retry.
spawn qemu-system-i386 -no-kvm -display sdl -serial mon:stdio -m 512 -cdrom var/run/demo.iso -cdrom var/run/demo.iso
qemu-system-i386: -cdrom var/run/demo.iso: drive with bus=1, unit=0 (index=2) exists
Aborting, received EOF
Log step failed, retry.
spawn qemu-system-i386 -no-kvm -display sdl -serial mon:stdio -m 512 -cdrom var/run/demo.iso -cdrom var/run/demo.iso -cdrom var/run/demo.iso
qemu-system-i386: -cdrom var/run/demo.iso: drive with bus=1, unit=0 (index=2) exists
Aborting, received EOF
Log step failed, retry.
I did install libsdl1.2-dbg. Clearly, I do not have a display connected, as I am trying to run it from within a container. Could you please help me with this issue?
Thank you in advance!
Yours sincerely,
Subhadeep
-------------------------------------------------------------------------------------------
Subhadeep Sarkar, PhD
Postdoctoral researcher, Univ Rennes, Inria, CNRS, IRISA
Inria Rennes - Bretagne Atlantique
Campus universitaire de Beaulieu
35042 Rennes cedex, France
Website: subhadeep.cf
E-mail: subhadeep.sarkar@...552... ; subhadeepsarkarybs@...54...
Phone: +33 2 99 84 73 52