F9 Microkernel 發展報告

[Jim Huang]

各位好，

F9 Microkernel [1] 是個依循 L4 Microkernel [2] 設計的嶄新作業系統核心，並針對
ARM Cortex-M [3] 架構做了一定程度的調整，期許能兼顧系統效能、低功耗設計，以及執行時期隔離 (記憶體保護)
等訴求，採取開放原始碼開發模式，試著建立
一個有特色的專案。

以下是 F9 Microkernel 近期引入的特色：
- 支援 ARM Cortex-M 的特性，如 NVIC (Nested Vectored Interrupt Controller),
Bit Banding, MPU (Memory Protection Unit)
- Energy efficient scheduling and tickless timer: 低功耗設計，並與 RIOT [4] 專案
合作，雙向貢獻 ARM Cortex-M 的實作
- 引入 KProbes: 啟發於 Linux Kernel，可在執行時期追蹤、修改系統的行為
- L4 Microkernel 特徵: Threads, Address Spaces, IPC
- 採用 Kconfig，支援類似 Linux Kernel 的 menuconfig
- 內建 kdb，一個輕量級的系統偵錯工具
- 支援 FPU
- 更有效率的 IRQ handling 機制

詳細的開發資訊 / 待作事項，請參見 F9 issues:
https://github.com/f9micro/f9-kernel/issues

請多利用 JuluOSDev [5] 的討論區進行交流，而在 8 月 28 日 (週三) 晚間，有一場
關於 F9 Microkernel 發展的演講:
http://registrano.com/events/6d9474

歡迎前來指教！

Sincerely,
Jim Huang a.k.a. "jserv"

[1] https://github.com/f9micro/
[2] http://en.wikipedia.org/wiki/L4_microkernel_family
[3] http://www.arm.com/zh/products/processors/cortex-m/
[4] http://www.riot-os.org/
[5] http://www.juluos.org/