Nooks：目前是基於Linux的改進，特點是讓驅動程序運行於沙箱之中，可以防止因為驅動程序bug導致的系統崩潰，可以恢復崩潰的驅動程序。因為驅動程序的代碼量占Linux內核代碼的70％左右，並且代碼質量低於其他部分代碼，所以如果Nooks能達到其目標，整個系統的穩定性將會有很大的提高。
Paravirtual Machine：虛擬機（Virtual Machine）是最近比較火的技術（其實已經是非常老的技術了），相信很多人都玩過Vmware或者任天堂的模擬器，這些都算是虛擬機。虛擬機技術不光是玩玩而已，它在降低企業的IT投入、提高穩定性和可維護性上都有重要的意義，Intel和AMD的新一代CPU中就會在指令級提供對虛擬技術的支持。Paravirtual與一般虛擬機的不同在於，要對虛擬運行的系統做一定的修改。像UML（User mode linux）和Xen都算此類。泰老舉的例子是L4，在L4上運行多個Linux系統，其中一部分專門運行驅動程序，一部分專門運行應用程序，哪個掛了都不礙事。
按泰老所說，使用L4所帶來的性能開銷在3％到8％之間。這個數字跟Xen的性能相仿。
MULTISERVER OPERATING SYSTEMS：代表系統Minix3，也就是泰老自己設計的系統，典型的微內核設計，就不多說了。
微軟的Singularity：來自微軟的最激進的技術創新。在Singularity裡，所有進程在同一個虛擬地址空間裡運行，防止一個進程不適當的訪問另外一個進程的數據不是依靠硬件，而是依靠編譯時的檢查（這樣上下文切換的開銷就省掉了哦）。除了核心的部分代碼由C＃，C＋＋和匯編寫成外，其他部分都是用一種被稱為Sing#的類似C＃的語言編寫的。另外，在Singularity好像是采用了基於contract的開發。
在泰老發表了他的文章之後，Linus也毫不客氣的再次把microkernel更穩定的論調稱之為“crap“，不過不等泰老出招，一位從事微內核研究開發的博士就駁斥了Linus。具體如何大家看我在前文給出的鏈接。
孰是孰非，還是讓我來說句公道話吧，Linus是一位技術天才，泰老則是學富五車著作等身的學術泰斗。從Linus的角度來說，他可能不太希望自己的系統被翻天覆地的修改（每個做技術的人都有這種傾向，天才也不能幸免）；而泰老當然看的更遠。Linux的內核能在現有架構上支撐100年嗎？顯然不可能，20年都難。總有一天，現在的Linux內核會以某種方式進入歷史的回收站，而新的內核，可能已經不叫Linux了，將會建立在新的設計思路之上。創新，永遠都是一件好的事情。
