L4 microkernel by jserv - Linux

By Hedda
at 2013-04-18T04:23

Table of Contents

※ 引述《fourdollars (四元)》之銘言：
: http://registrano.com/events/251d83
: 主題:
: 第二代 microkernel 架構的代表 -- L4 microkernel 的背景知識與最新的研究發展
: 題目: L4 Microkernel Overview: The Practical Approach

2013 年更新版本，附上了一些應用案例：
http://www.slideshare.net/jserv/microkernel-evolution

Changes
- 從 CMU Mach 探討起，承先啟後引導到 seL4, Fiasco.OC 的出現
- 增加 Tanenbaum-Torvalds Debate
- 大幅修正 L4 核心概念示意圖
- L4 家族簡介

--

Tags: Linux

All Comments

Related Posts

在舊PC裝LINUX會比較好嗎?

By Andrew
at 2013-04-17T15:37

我父親有一台HP原廠PC，2005年買的吧，已經算是骨董級的PC了。坦白說，我只知道他的規格是PENTIUM IV CPU，有1G的SDRAM。對了，上面還附有3 1/2”軟碟(感動)。其實我們早把它給淘汰了，只是最近我父親開始喜歡看Youtube，想說是否能把這台電腦接上客廳大電視，做一個媒體撥 ...

請問Full Backup的問題

By Carol
at 2013-04-17T10:30

目前我是打算使用 Redo Backup and Recovery 來為一個Raid5的Centos備份不過作業流程必須關機這對用戶可能會造成困擾想請問有沒有可以進行hot backup的作業軟體 - ...

centos 6.3安裝 usb無線網卡./makedrv錯誤

By Edward Lewis
at 2013-04-16T22:05

小弟想安裝usb無線網卡(rtl8187)在centos 6.3上照著驅動光碟的ReadMe.txt 上做,輸入 ./makedrv (已用root login) 跑到一半出現and#34;沒有此一檔案或目錄and#34;,請問是那邊做錯或是少裝某個軟體 ? make -C /lib/modul ...

能在桌面上顯示的便條紙程式?

By Todd Johnson
at 2013-04-16T19:57

最近雜事有點多所以挺需要便條紙程式的有用過網路服務, 不過不想再多開一個分頁常駐所以用了幾次後就放棄了用note或todo之類的關鍵字是有找到幾個老牌的(像tomboy) 可是大部分都是獨立程式, 要看就要翻出來有點麻煩目前最符合需求的是這個: indicator-stickynotes https ...

遞迴執行程式

By Mary
at 2013-04-16T16:20

我的某一個程式是這樣執行的 #./a.out testcase.cc 目前我的.cc不是在同一個資料夾底下 ex: ./testcase1/testcase.cc ./testcase2/tsetcase.cc ./testcase3/testcase.cc 而且可能資料夾底下還有其他檔案 ex: .h ...