michaelmelanson / wasm-kernel

Related projects ⓘ

Alternatives and complementary repositories for wasm-kernel

• reynoldsbd / bootloader-uefi
  A pure-Rust UEFI bootloader
  ☆29Updated 6 years ago
• sjdh02 / trOS
  tiny aarch64 baremetal OS thingy
  ☆49Updated 5 years ago
• ashpil / rush
  Basic rust POSIX shell
  ☆23Updated 4 years ago
• kivikakk / daintree
  [non-functional] ARMv8-A/RISC-V kernel (with UEFI bootloader)
  ☆51Updated 3 months ago
• gurry / efi
  Ergonomic Rust framework for writing UEFI applications.
  ☆60Updated 2 months ago
• metta-systems / vesper
  Single-address-space capability-based nanokernel
  ☆74Updated this week
• quitesimpleorg / exile.h
  Painless Linux sandboxing API
  ☆14Updated 5 months ago
• michaeljclark / musl-riscv-toolchain
  riscv-linux musl gcc toolchain bootstrap scripts
  ☆17Updated 3 years ago
• Dentosal / rust_os
  My hobby operating system microkernel written in Rust
  ☆43Updated last year
• hselasky / usb4
  USB4 / Thunderbolt 3
  ☆16Updated 2 years ago
• Neotron-Compute / Neotron-Book
  A user manual and technical reference for the Neotron family
  ☆33Updated 3 weeks ago
• liampwll / zig-efi-os
  ☆15Updated 4 years ago
• shacron / sled
  Sled System Emulator
  ☆28Updated last week
• sparkle-os / sparkle
  ✨ a microkernel in Rust
  ☆38Updated 3 years ago
• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆52Updated 10 months ago
• DankBSD / complexd
  [WIP] A complex of daemons for FreeBSD implementing systemd/freedesktop D-Bus APIs required by desktop environments | now on https://code…
  ☆12Updated 2 years ago
• NathanMcMillan54 / novusk
  A kernel written in Rust
  ☆91Updated last month
• pbatard / fasmg-efi
  A simple Hello World for x86_64 UEFI using fasmg
  ☆23Updated 8 years ago
• redox-os / bootloader-efi
  Mirror of https://gitlab.redox-os.org/redox-os/bootloader-efi
  ☆17Updated 9 months ago
• driusan / hammer2fs
  An implementation of the hammer2 filesystem for Plan 9
  ☆18Updated 5 years ago
• lf- / mu
  [in-progress] toy rust microkernel and operating system for riscv64
  ☆25Updated 3 years ago
• lupyuen / tcc-riscv32-wasm
  TCC (Tiny C Compiler) for 64-bit RISC-V, compiled to WebAssembly with Zig Compiler
  ☆32Updated 9 months ago
• agreenbhm / linux
  Linux kernel source tree
  ☆8Updated last month
• AntoineSebert / dandelion
  🌀 Microkernel Real-Time Operating System in Rust
  ☆27Updated last year
• nrdmn / uefi-freetype
  Zig UEFI FreeType Demo
  ☆14Updated 5 years ago
• rust-osdev / ovmf-prebuilt
  ☆24Updated this week
• GarettCooper / emulator_6502
  Rust implementation of an MOS 6502 emulator, intended to be a talking point during the interview process for my Winter 2020 co-op placeme…
  ☆23Updated last year
• antoinevg / hello-d1
  Bare-metal Rust explorations of the Allwinner D1
  ☆15Updated 2 years ago
• robert-w-gries / rxinu
  Rust implementation of Xinu educational operating system
  ☆33Updated 4 years ago
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆27Updated last month