Thank you very much for the info. Pablo

On Sun, Aug 29, 2010 at 7:47 AM, Christian Helmuth <christian.helmuth@...1...> wrote:

Hello Pablo,

On Sat, Aug 28, 2010 at 05:05:38PM -0700, Pablo Montesinos wrote:

...

I've been using Fiasco.OC released on June. I've noticed that the 3rd_fiasco.tar.bz package is from february. I was wondering if you knew whether anyone had tried using the Fiasco.OC with the current Genode distribution.

The 3rd_fiasco archive is a snapshot of the "old" Fiasco subversion repository. This Fiasco version implements more or less the L4.V2 specification while Fiasco.OC has a fairly different (capability-based) interface.

Currently, Genode does not support the new interface. However, I know of at least one unofficial effort to bring Genode to FOC, but have no information about its state or plans for publication.

Greets

Christian Helmuth Genode Labs

http://www.genode-labs.com/ · http://genode.org/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

---

Sell apps to millions through the Intel(R) Atom(Tm) Developer Program Be part of this innovative community and reach millions of netbook users worldwide. Take advantage of special opportunities to increase revenue and speed time-to-market. Join now, and jumpstart your future. http://p.sf.net/sfu/intel-atom-d2d _______________________________________________ Genode-main mailing list Genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main

Hello,

On Sun, Aug 29, 2010 at 11:15:55AM -0700, Pablo Montesinos wrote:

Going forward, are you guys planning on continuing releasing patches for pistachio's L4? If not, which is the microkernel you see yourselves using?

There is no such thing like _the_ kernel for Genode as we any microkernel/hypervisor/... has its own (sometimes unique) set of properties, features, and thus application areas (e.g., secure mobile devices or real-time workstations). We understand Genode as the programming environment for these kernels, which abstracts from the diversity of actual kernel APIs and enables the developer to implement applications that run on all supported platforms.

Locally, our team uses the kernel that fits the current development stage best - Linux for application development or L4/Fiasco while hacking device drivers. L4::Pistachio's SMP support served as perfect test bed for a student research project 2 years ago. Personally, I like Pistachio for its clear design and coding style. I often use it for device-driver-related projects, but I also like Fiasco's powerful kernel debugger.

Well, I have no definite answer to your question, but hope I shed some light on our approach.

Regards