Installing Genode within container

[Subhadeep Sarkar]

Hi, 

Thank you for your quick response! 

However, even after trying on it for the last couple of last I could not make it work (clearly shows that I am a newbie in Genode). The good part is I am able to by pass the problem by installing Genode in a (ubuntu) virtual machine instead of a container. I successfully launched the demo for okl4 from there. Launching sel4, however, does not appear to be as straightforward. ;) 

Anyway, thank you very much for your assistance. 

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 

----- Original Message -----

> From: "Valery V. Sedletski via genode-main"
> <genode-main at lists.sourceforge.net>
> To: genode-main at lists.sourceforge.net
> Cc: "Valery V. Sedletski" <_valerius at ...73...>
> Sent: Friday, January 19, 2018 6:15:15 PM
> Subject: Re: Installing Genode within container

> On 19.01.2018 19:21, Subhadeep Sarkar wrote:

> > 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
> 

> I'd suggest you to comment
> QEMU_OPT += -display sdl
> out from the etc/build.conf, and add an option like
> QEMU_OPT += -display vnc=<IP address>:<display>

> This would activate QEMU built-in VNC server. You would be able to access the
> Genode display via a VNC client, connecting to a <IP address>:<display> VNC
> display.

> I'm connecting to my development Linux system from my main OS, via SSH. When
> I need to run binaries, to test them, I start the corresponding run script.
> I see the logs in my SSH window. When I need to see the Genode screen, I
> just start the VNC viewer. The only disadvantage is that the mouse cursor in
> a VNC client is displaced, relative to Genode mouse cursor. I still did not
> worked this problem around. Also, there exists an option to run QEMU screen,
> or a SDL window in Genode/Linux, remotely via X11 remote connection (you
> need your DISPLAY env. variable to point to your local X11 display). But I
> did not managed to make it working successfully, because when I run it from
> an SSH session, it tries to use the "fbcon" SDL backend. Trying to set
> SDL_VIDEODRIVER env. variable to "x11" doesn't help here.

> > -------------------------------------------------------------------------------------------
> 
> > 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
> 

> > ------------------------------------------------------------------------------
> 
> > 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 at lists.sourceforge.net
> > https://lists.sourceforge.net/lists/listinfo/genode-main
> 

> ------------------------------------------------------------------------------
> 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 at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20180123/0fb6e1a7/attachment.html>