[Discover] Can We Make Operating Systems Reliable and Secure? http://www.computer.org/portal/site/computer/menuitem.5d61c1d591162e4b0ef1bd108bcd45f3/index.jsp?&am ... (security os architecture articles)
 [Discover] The MINIX 3 Operating System http://www.minix3.org/ (opensource os linux minix)
 [Discover] L4Ka - The L4 microkernel family and friends http://l4ka.org/ (research os virtualization kernel)
 [Discover] Coyotos Secure Operating System http://www.coyotos.org/index.html (os research coyotos programming)
 [Discover] What is 1060 NetKernel? http://www.1060.org/ (rest xml java databases)
 [Discover] Tanenbaum-Torvalds debate, Part II http://www.cs.vu.nl/~ast/reliable-os/ (kernel linux os minix)
 [Discover] Debunking Linus's Latest http://www.coyotos.org/docs/misc/linus-rebuttal.html (linux os virtualization kernel)
 [Discover] Nooks Research Group http://nooks.cs.washington.edu/ (linux reliability nooks microkernel)
 [Discover] OSR2007_RethinkingSoftwareStack.pdf (application/pdf Object) http://research.microsoft.com/os/singularity/publications/OSR2007_RethinkingSoftwareStack.pdf (singularity os ms technews)
 [Discover] QNX - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/QNX (microkernel os embedded linux)
 [Discover] KeyKOS Home Page http://www.cis.upenn.edu/~KeyKOS/ (os programming capability microkernel)
 [Discover] Real World Technologies - In-Depth Technical Analyses And Help For Professionals http://www.realworldtech.com/forums/index.cfm?action=detail&id=66630&threadid=66595&room ... (kernel os linux microkernel)
 [Discover] Prex - Embedded Real-Time Operating System http://prex.sourceforge.net/index.html (embedded programming code c)
 [Discover] L4 microkernel family - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/L4_microkernel_family (computing microkernel)
 [Discover] pico]OS - pico]OS - Overview http://picoos.sourceforge.net/ (os programming code embedded)
 [Discover] Download Demos http://www4.informatik.uni-erlangen.de/Projects/JX/download-demos.html (os java jx microkernel)
 [Discover] Do we think we understand software? 1060 Research will shatter our preconceived notions. http://www.ftponline.com/channels/business/2006_08/companyfocus/1060research/ (rest soa microkernel)
 [Discover] /home/liquidat Linux kernel 2.6.23 to have stable userspace driver API « http://liquidat.wordpress.com/2007/07/21/linux-kernel-2623-to-have-stable-userspace-driver-api/ (linux api kernel hacks)
 [Discover] Exokernel - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Exokernel (os wikipedia exokernel microkernel)