你即將離開本站

並前往http://os.inf.tu-dresden.de/L4/

The L4 µ-Kernel Family - TU Dresden

The L4KA team has released version 0.1 of the Pistachio microkernel. It is the first available implementation of the experimental L4 Version X.2 kernel API, ...

確定！ 回上一頁

查詢 「L4 microkernel」的人也找了：

  1. microkernel優缺點
    2.
  2. seL4
    3.
  3. Microkernel OS
    4.
  4. Monolithic kernel
    5.
  5. Hybrid kernel
    6.
  6. F9 microkernel
    7.
  7. monolithic kernel vs microkernel比較
    8.
  8. Microkernel approach
    9.