11 Mar
2016
11 Mar
'16
10:59 p.m.
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