Reimplementation of NetBSD using a MicroKernel

[Peter Lindener]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20160311/d993c11a/attachment.html>