Skip to content
Change the repository type filter

All

    Repositories list

    • nebulet

      Public archive
      A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
      Rust
      MIT License
      732.4k92Updated Feb 28, 2023Feb 28, 2023
    • rfcs

      Public
      RFCs for changes to Nebulet
      MIT License
      1101Updated Oct 20, 2018Oct 20, 2018
    • nucleus

      Public
      Rust
      MIT License
      1000Updated Oct 17, 2018Oct 17, 2018
    • libsip

      Public
      Library for running Software-Isolated Processes on Nebulet.
      Rust
      MIT License
      1800Updated Oct 6, 2018Oct 6, 2018
    • An experimental pure-Rust x86 bootloader
      Rust
      Apache License 2.0
      228301Updated Aug 16, 2018Aug 16, 2018
    • bootimage

      Public
      Rust
      Apache License 2.0
      67200Updated Aug 6, 2018Aug 6, 2018
    • cretonne

      Public
      Cretonne code generator
      Rust
      Apache License 2.0
      199100Updated Jul 13, 2018Jul 13, 2018
    • Rust
      3000Updated Jul 4, 2018Jul 4, 2018
    • x86_64

      Public
      Library to program x86_64 hardware.
      Rust
      Apache License 2.0
      151000Updated Jul 4, 2018Jul 4, 2018
    • abi

      Public
      Crate for interfacing with the Nebulet ABI
      Rust
      MIT License
      3400Updated Jun 7, 2018Jun 7, 2018