Re: Installing Genode within container

2018-01-24 Thread Subhadeep Sarkar
Hi, > As a side note, may I kindly encourage you to avoid large top-postings > on the mailing list? Thank you! I think that I have got it now! :) Best wishes, Subhadeep --- Subhadeep Sarkar, PhD Postdoctor

Re: Installing Genode within container

2018-01-24 Thread Norman Feske
Hello Subhadeep, > 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. :) that's great to hear! As a side note, may I kindly encourage you to avoid large top-postings on the mailing list? Regarding the use of the mailing list,

Re: Installing Genode within container

2018-01-24 Thread Subhadeep Sarkar
52 - Original Message - > From: "Valery V. Sedletski" <_valer...@mail.ru> > To: "Subhadeep Sarkar" > Cc: "Genode OS Framework Mailing List" > Sent: Tuesday, January 23, 2018 5:17:50 PM > Subject: Re: Installing Genode within conta

Re: Installing Genode within container

2018-01-24 Thread Subhadeep Sarkar
y, January 23, 2018 5:11:12 PM > Subject: Re: Installing Genode within container > > Hello, > > your Qemu command line looks suspicious... > > On Tue, Jan 23, 2018 at 05:01:36PM +0100, Subhadeep Sarkar wrote: > > spawn qemu-system-i386 -no-kvm 127.0.0.1:0 -serial mon:std

Re: Installing Genode within container

2018-01-23 Thread Valery V. Sedletski via genode-main
; subhadeepsarkar...@yahoo.com Phone: +33 2 99 84 73 52 *From: *"Valery V. Sedletski" <_valer...@mail.ru> *To: *"Subhadeep Sarkar" , "Genode OS Framework Mailing List" *Sent:

Re: Installing Genode within container

2018-01-23 Thread Christian Helmuth
Hello, your Qemu command line looks suspicious... On Tue, Jan 23, 2018 at 05:01:36PM +0100, Subhadeep Sarkar wrote: > 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' Shouldn't it read more

Re: Installing Genode within container

2018-01-23 Thread Subhadeep Sarkar
eep Sarkar" , "Genode OS Framework > Mailing List" > 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! > >

Re: Installing Genode within container

2018-01-23 Thread Valery V. Sedletski via genode-main
*From: *"Valery V. Sedletski via genode-main" *To: *genode-main@lists.sourceforge.net *Cc: *"Valery V. Sedletski" <_valer...@mail.ru> *Sent: *Friday, January 19, 2018 6:15:15 PM *Subject: *Re: Installing Genode within container On 19.01.2018 1

Re: Installing Genode within container

2018-01-23 Thread Subhadeep Sarkar
- Original Message - > From: "Valery V. Sedletski via genode-main" > > To: genode-main@lists.sourceforge.net > Cc: "Valery V. Sedletski" <_valer...@mail.ru> > Sent: Friday, January 19, 2018 6:15:15 PM > Subject: Re: Installing Genode within

Re: Installing Genode within container

2018-01-19 Thread Valery V. Sedletski via genode-main
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