This is great video...
see: A re-implementation of NetBSD using a MicroKernel
<https://www.youtube.com/watch?v=0pebP891V0c>
http://www.slideshare.net/eurobsdcon/andy-tanenbaum-euro-bsdcon2014v2
Maybe this might be useful for use under Genode?
-Peter
------------------------------------------------------------------------------
Transform Data into Opportunity.
Accelerate data analysis in your applications with
Intel Data Analytics Acceleration Library.
Click to learn more.
http://pubads.g.doubleclick.net/gampad/clk?id=278785111&iu=/4140
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main
