microkernelの検索結果1 - 3 件 / 3件

• あとで読む

  WasmOS: Wasmを実行する自作Microkernel

  • 4 users
  • speakerdeck.com/riru
  • テクノロジー
  • 2024/03/10

  Google I/O Extended Incheon 2025 ~ What's new in Android development tools

  • os
  • あとで読む

  
• あとで読む

  GitHub - cl91/NeptuneOS: Neptune OS: A Windows NT personality for the seL4 microkernel

  • 4 users
  • github.com/cl91
  • テクノロジー
  • 2022/02/23

  Neptune OS is a Windows NT personality for the seL4 microkernel. It implements what Microsoft calls the "NT Executive", the upper layer of the Windows kernel NTOSKRNL.EXE, as a user process under the seL4 microkernel. The NT Executive implements the so-called NT Native API, the native system call interface of Windows upon which the more familiar Win32 API is built. These are exposed to the user mo

  • windows

  
• あとで読む

  Google Announces KataOS As Security-Focused OS, Leveraging Rust & seL4 Microkernel - Phoronix

  • 3 users
  • www.phoronix.com
  • テクノロジー
  • 2022/10/17

  Google Announces KataOS As Security-Focused OS, Leveraging Rust & seL4 Microkernel Written by Michael Larabel in Google on 16 October 2022 at 06:10 AM EDT. 45 Comments Google this week has announced the release of KataOS as their newest operating system effort focused on embedded devices running ambient machine learning workloads. KataOS is security-minded, exclusively uses the Rust programming la

  • Rust
  • OS
  • techfeed
  • セキュリティ
  • security
  • Google
  • あとで読む