Re: Compiling Genode+Fiasco.OC for ARM

2013-10-30 Thread Sebastian Sumpf
Hi, On 10/29/2013 07:47 PM, Reinier Millo Sánchez wrote: Hello I'm trying to compile Genode+Fiasco.OC for ARM. I have downloaded the Genode latest revision from: https://github.com/genodelabs/genode and the Fiasco.OC+L4RE latest revision (r59) from:

Re: Request for Booting document

2013-10-30 Thread Alexander Boettcher
Hello, On 25.10.2013 21:54, GANESH MALOTH wrote: Sir, Actually i wanted to port Genode in my system which has ubuntu-12.10 (x86-32bit) operating system. And boot it using Genode as one of the operating system. in http://sourceforge.net/mailarchive/message.php?msg_id=30046357 there are some

Question about system architecture, noux and interprocess communication

2013-10-30 Thread J.M. Becker
First I wanted to say, I've been following Genode for about a year and I'm very excited about its  progress.   My question has to do with Noux and how communication is done between processes, and the eventual porting of D-Bus.  I'm unsure about just how isolated each noux process is, from

Re: base-hw's future

2013-10-30 Thread Norman Feske
Hi Neal, thanks for tuning-in on the Genode mailing list! :-) Is the intention that the base-hw remain experimental? Or, is the long-term plan to make it a proper microkernel? From what you say here, it sounds like I shouldn't consider base-hw as a potential microkernel. Martin, however,