Installing Genode within container

[Subhadeep Sarkar]

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 at ...552... ; subhadeepsarkarybs at ...54... 
Phone: +33 2 99 84 73 52 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20180119/ccab35a6/attachment.html>