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
Verified seL4 on secure RISC-V processors Authors Gernot Heiser DATA61 UNSW Sydney AbstractRISC-V has many attractions, ranging from the openness of the architecture, its clean-slate design based on simplicity and scalability, as well as the RISC-V Foundation's strong commitment to security from the ground up. As such, RISC-V is an extremely attractive platform for the open-source seL4 microkernel
seL4 (pronounced ess-e-ell-four) is arguably the world’s most secure operating system (OS) kernel. The OS kernel is the lowest level of software running on a computer system. It is the code that executes in privileged mode (S-mode in RISC-V; M-mode is reserved for microcode/firmware). The kernel is ultimately responsible for the security of a computer system. seL4 is a microkernel. The idea of a
We have created the seL4 Foundation! But what is the seL4 Foundation, and why did we create it? In a nutshell, these are the reasons (I’ll expand on them below): Provide for the longevity of seL4 beyond support from any specific organisation grow and integrate the seL4 ecosystem protect and promote the seL4 brand provide a platform for funding on-going engineering as well as sharing the cost of bi
seL4 has been our team’s greatest achievement, but it didn’t fall out of the sky: it was the result of 15 years of research, and has evolved further for the past 10 years. From the beginning, the design of seL4 has been driven by a number of principles. But a recent internal discussion about some fine points of the spec (as well as some discussions with externals) reminded me that some of these pr
To the extent possible under law, Corey Richardson has waived all copyright and related or neighboring rights to Robigalia: An Operating System for the Modern Era. This work is published from: United States. This book is the culmination of many hours of thought and discussion by many parties. I would especially like to thank Alex Elsayed, Gernot Heiser, Kevin Elphinstone, Gerwin Klein, and Graham
Build a robust Rust ecosystem around seL4 Create a highly reliable persistent capability OS, continuing the heritage of EROS and Coyotos To get started with Rust and seL4, first set up a build environment. From there, the sky’s the limit! We’re currently working on a tutorial and some examples while the OS is being created. In the meantime, maybe you’d like to contribute?
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
