Installing Genode within container
Valery V. Sedletski
_valerius at ...73...
Tue Jan 23 16:05:44 CET 2018
On 23.01.2018 13:13, Subhadeep Sarkar wrote:
> 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. ;)
>
So, what is your problem? Can't connect to the VNC server? What kind of
container did you tried? Does it have a separate IP address assigned?
The IP should be from that container. The display number is usually 0.
So, you should specify
QEMU_OPT += 127.0.0.1:0
if your IP is the same as a host machine (you can try a simple chroot
instead of a container, for simplicity. Then it's IP would be 127.0.0.1.
Also, in this case you will be able to access a local display, and VNC
will be unneeded)
So, the problem may be with accessibility of your VNC display from
outside the container. But you could try chroot for simplicity, as I
suggested. VM is a worst option, because you'll need to run QEMU inside
this VM for testing the binaries, which will be slow.
> 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
>
> ------------------------------------------------------------------------
>
> *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/3f570f41/attachment.html>
More information about the users
mailing list