Anyone been watching the genode os framework? ()

It already supports Linux, NOVA, Codezero, L4/Fiasco, L4ka::Pistachio and
OKL4 as base platforms/kernels - I don't know (as I'm sure I'm not qualified
to make an assessment), but intuition tells me there might be some interesting
possibilities were the plan9 kernel to become supported as well.

http://genode.org/documentation/release-notes/10.02

"
So why do we address so many different kernels instead of focusing our efforts 
to one selected platform? Our observation is that different applications pose 
different requirements on the kernel. Most kernels have a specific profile 
with regard to security, hardware support, complexity, scheduling, resource 
management, and licensing that may make them fit well for one application area 
but not perfectly suited for a different use case. There is no single perfect 
kernel and there doesn't need to be one. By using Genode, applications 
developed for one kernel can be ported to all the other supported platforms 
with a simple recompile. We believe that making Genode available on a new 
kernel is beneficial for the kernel developers, application developers, and 
users alike. For kernel developers, Genode brings additional workloads to 
stress-test their kernel, and it extends the application area of the kernel. 
Application developers can address several kernel platforms at once instead of 
tying their programs to one particular platform. Finally, users and system 
integrators can pick their kernel of choice for the problem at hand. 
Broadening the platform support for Genode helps to make the framework more 
relevant.
"

> kernel and there doesn't need to be one. By using Genode, applications 
> developed for one kernel can be ported to all the other supported platforms 
> with a simple recompile.

this sort of thing is built for a knee-jerk reaction.  ...
which i will happily provide.

ah, the chicago crain technique of building complicated
system.

	for(floor = nil;; floor = nf){
		nf = buildfloor(floor);
		jackupcrain(nf);
	}

the main difference is that each floor in a building
is typically not unique, yet serves a unique purpose
whereas in chicago crain systems, each layer of abstraction
is unique, yet does not serve a unique purpose.

maybe i'm looking at it wrong and each abstraction
layer is actually floor space for some poor programmer
to make a living.

- erik

On Thursday 25 February 2010 17:30:16 erik quanstrom wrote:
> > kernel and there doesn't need to be one. By using Genode, applications
> > developed for one kernel can be ported to all the other supported
> > platforms with a simple recompile.
> 
> this sort of thing is built for a knee-jerk reaction.  ...
> which i will happily provide.
> 
> ah, the chicago crain technique of building complicated
> system.
> 
> 	for(floor = nil;; floor = nf){
> 		nf = buildfloor(floor);
> 		jackupcrain(nf);
> 	}
> 
> the main difference is that each floor in a building
> is typically not unique, yet serves a unique purpose
> whereas in chicago crain systems, each layer of abstraction
> is unique, yet does not serve a unique purpose.
> 
> maybe i'm looking at it wrong and each abstraction
> layer is actually floor space for some poor programmer
> to make a living.
> 

I won't comment on the kneejerk reaction, other than to say
platform portability is not the primary goal of genode -

http://genode.org/about
http://genode.org/documentation/general-overview

At any rate, probably _I'm_ looking at it wrong - but it occurred to me that
plan9 on genode might provide a route to exploring union directories,
namespaces, etc. in a different context than via the current native plan 9
system.