你即將離開本站

並前往https://www.computerworld.com/article/3516807/nicta-pushes-sel4-microkernel-beyond-drones.html

NICTA pushes seL4 microkernel beyond drones

The seL4 microkernel, the “world's most highly assured OS”, has just been released as open source, which will help it evolve beyond its ...

確定！ 回上一頁

查詢 「Microkernel」的人也找了：

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