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.sar...@inria.fr ; subhadeepsarkar...@yahoo.com
Phone: +33 2 99 84 73 52
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main
