Installing Genode within container
Subhadeep Sarkar
subhadeep.sarkar at ...552...
Wed Jan 24 13:44:55 CET 2018
Hi,
Indeed so! I changed the IP and now it works perfectly fine with VNC. Got to rum okl4. Now its time to do it with Sel4. :)
Once again, thank you very much for your assistance!
Best wishes,
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" <_valerius at ...73...>
> To: "Subhadeep Sarkar" <subhadeep.sarkar at ...552...>
> Cc: "Genode OS Framework Mailing List" <genode-main at lists.sourceforge.net>
> Sent: Tuesday, January 23, 2018 5:17:50 PM
> Subject: Re: Installing Genode within container
> On 23.01.2018 19:01, Subhadeep Sarkar wrote:
> > Hi,
>
> > I don't know if I am bothering you too much! Yes, as you correctly pointed
> > out, I am unable to connect to the VNC server. I am working with Docker
> > containers.
>
> > Here's the message I get while I try to run make -C build/x86_32
> > KERNEL=okl4
> > run/demo.
>
> > spawn qemu-system-i386 -no-kvm 127.0.0.1:0 -serial mon:stdio -m 512 -cdrom
> > var/run/demo.iso
>
> > qemu-system-i386: -no-kvm: Unknown protocol '127.0.0.1'
>
> > Aborting, received EOF
>
> > Log step failed, retry.
>
> > spawn qemu-system-i386 -no-kvm 127.0.0.1:0 -serial mon:stdio -m 512 -cdrom
> > var/run/demo.iso -cdrom var/run/demo.iso
>
> > qemu-system-i386: -no-kvm: Unknown protocol '127.0.0.1'
>
> > Aborting, received EOF
>
> > Log step failed, retry.making some silly mistakes
>
> > spawn qemu-system-i386 -no-kvm 127.0.0.1:0 -serial mon:stdio -m 512 -cdrom
> > var/run/demo.iso -cdrom var/run/demo.iso -cdrom var/run/demo.iso
>
> > qemu-system-i386: -no-kvm: Unknown protocol '127.0.0.1'
>
> > Aborting, received EOF
>
> > Log step failed, retry.
>
> > Boot process failed 3 times in series. I give up!
>
> > My container IP details are as follows:
>
> > root at ...556...:/Genode/genode# ifconfig
>
> > eth0 Link encap:Ethernet HWaddr 02:42:ac:11:00:02
>
> > inet addr:172.17.0.2 Bcast:0.0.0.0 Mask:255.255.0.0
>
> > UP BROADCAST RUNNING MULTICAST MTU:1500 Metric:1
>
> > RX packets:30181 errors:0 dropped:0 overruns:0 frame:0
>
> > TX packets:21859 errors:0 dropped:0 overruns:0 carrier:0
>
> > collisions:0 txqueuelen:0
>
> > RX bytes:255807677 (255.8 MB) TX bytes:1765833 (1.7 MB)
>
> > lo Link encap:Local Loopback
>
> > inet addr:127.0.0.1 Mask:255.0.0.0
>
> > UP LOOPBACK RUNNING MTU:65536 Metric:1
>
> > RX packets:0 errors:0 dropped:0 overruns:0 frame:0
>
> > TX packets:0 errors:0 dropped:0 overruns:0 carrier:0
>
> > collisions:0 txqueuelen:1000
>
> > RX bytes:0 (0.0 B) TX bytes:0 (0.0 B)
>
> > I am sure that I am making some silly mistakes. Thank you for your support,
> > though!
>
> > Yours sincerely,
>
> > Subhadeep
>
> You need to specify
> QEMU_OPT += -display vnc=127.0.0.1:0
> instead of
> QEMU_OPT += 127.0.0.1:0
> Also, are you sure that container has the same IP address as your local
> system (if not, its' IP is not 127.0.0.1). I'm not sure because I'm not
> familiar with Docker. Can you ping it from your host system?
> > -------------------------------------------------------------------------------------------
>
> > 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" <_valerius at ...73...>
> >
>
> > > To: "Subhadeep Sarkar" <subhadeep.sarkar at ...552...> , "Genode OS Framework
> > > Mailing List" <genode-main at lists.sourceforge.net>
> >
>
> > > Sent: Tuesday, January 23, 2018 4:05:44 PM
> >
>
> > > Subject: Re: Installing Genode within container
> >
>
> > > On 23.01.2018 13:13, Subhadeep Sarkar wrote:
> >
>
> > > > Hi,
> > >
> >
>
> > > > Thank you for your quick response!
> > >
> >
>
> > > > Ho+wever, 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
> > >
> >
>
> > > > ----- 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/20180124/42749f75/attachment.html>
More information about the users
mailing list