michaelmelanson / wasm-kernel

Related projects ⓘ

Alternatives and complementary repositories for wasm-kernel

• kivikakk / daintree
  [non-functional] ARMv8-A/RISC-V kernel (with UEFI bootloader)
  ☆51Updated 4 months ago
• reynoldsbd / bootloader-uefi
  A pure-Rust UEFI bootloader
  ☆29Updated 6 years ago
• metta-systems / vesper
  Single-address-space capability-based nanokernel
  ☆75Updated last week
• gurry / efi
  Ergonomic Rust framework for writing UEFI applications.
  ☆61Updated 3 months ago
• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆52Updated 10 months ago
• muon-data / muon
  MuON data interchange specification
  ☆11Updated 4 years ago
• ZigEmbeddedGroup / zfat
  Generic purpose platform-independent FAT driver for Zig
  ☆10Updated last week
• sjdh02 / trOS
  tiny aarch64 baremetal OS thingy
  ☆49Updated 5 years ago
• ashpil / rush
  Basic rust POSIX shell
  ☆22Updated 4 years ago
• nrdmn / uefi-freetype
  Zig UEFI FreeType Demo
  ☆14Updated 5 years 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
• rust-osdev / ovmf-prebuilt
  ☆24Updated this week
• alilee / rust-osdev-jumpstart
  Rust, cargo and QEMU setup for multi-architecture OS development.
  ☆36Updated 3 years ago
• liampwll / zig-efi-os
  ☆15Updated 4 years ago
• rust-vmm / vm-device
  ☆35Updated last year
• absurdhero / rash-shell
  A bourne shell written in rust
  ☆27Updated 4 months ago
• rust-osdev / apic
  ☆15Updated 4 years ago
• redox-os / bootloader-efi
  Mirror of https://gitlab.redox-os.org/redox-os/bootloader-efi
  ☆17Updated 9 months ago
• sparkle-os / sparkle
  ✨ a microkernel in Rust
  ☆38Updated 3 years ago
• rust-osdev / xhci
  A Rust library which is useful to handle xHCI
  ☆41Updated 2 months ago
• nanvix / kernel
  Research Operating System Kernel
  ☆61Updated this week
• gil0mendes / Initium
  A modern bootloader with no legacy components
  ☆17Updated last year
• Openwide-Ingenierie / uefi-musl
  MUSL libc port for UEFI
  ☆11Updated 7 years ago
• Dentosal / rust_os
  My hobby operating system microkernel written in Rust
  ☆43Updated last year
• tock / tockloader
  Tool for programming Tock onto hardware boards.
  ☆42Updated last month
• WebAssembly / wasi-tools
  WASI tools
  ☆16Updated last year
• teymour-aldridge / cranelift_codegen_wasm
  A (very experimental) WebAssembly backend for Cranelift.
  ☆13Updated 2 years ago
• NobodyXu / aspawn
  Asynchronous and more versatile replacement of posix_spawn
  ☆20Updated 3 years ago
• Richard-W / uefi-run
  Run UEFI applications
  ☆80Updated last year
• quitesimpleorg / exile.h
  Painless Linux sandboxing API
  ☆14Updated 5 months ago