Alternatives and similar repositories for wasm-kernel:

Users that are interested in wasm-kernel are comparing it to the libraries listed below

• YoWASP / yosys
  Unofficial Yosys WebAssembly packages
  ☆70Updated this week
• kivikakk / daintree
  [non-functional] ARMv8-A/RISC-V kernel (with UEFI bootloader)
  ☆55Updated 8 months ago
• lupyuen / tcc-riscv32-wasm
  TCC (Tiny C Compiler) for 64-bit RISC-V, compiled to WebAssembly with Zig Compiler
  ☆39Updated last year
• Neotron-Compute / Neotron-Book
  A user manual and technical reference for the Neotron family
  ☆36Updated 5 months ago
• gurry / efi
  Ergonomic Rust framework for writing UEFI applications.
  ☆64Updated 2 months ago
• reynoldsbd / bootloader-uefi
  A pure-Rust UEFI bootloader
  ☆29Updated 6 years ago
• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆62Updated last year
• AntoineSebert / dandelion
  🌀 Microkernel Real-Time Operating System in Rust
  ☆40Updated last year
• betrusted-io / xous-book
  Documentation on the Xous operating system
  ☆31Updated 9 months ago
• tock / tockloader
  Tool for programming Tock onto hardware boards.
  ☆42Updated 2 weeks ago
• agreenbhm / linux
  Linux kernel source tree
  ☆8Updated 6 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
• lupyuen / nuttx-bl602
  Apache NuttX OS as featured in "The RISC-V BL602 Book"
  ☆10Updated this week
• antoinevg / hello-d1
  Bare-metal Rust explorations of the Allwinner D1
  ☆15Updated 2 years ago
• betrusted-io / betrusted-ec
  Betrusted embedded controller (UP5K)
  ☆45Updated last year
• shacron / sled
  Sled System Emulator
  ☆28Updated last month
• nrdmn / uefi-freetype
  Zig UEFI FreeType Demo
  ☆15Updated 5 years ago
• CalmSystem / walos
  WebAssembly Language based Operating System
  ☆16Updated 2 years ago
• WebAssembly / wasi-tools
  WASI tools
  ☆16Updated last year
• sjdh02 / trOS
  tiny aarch64 baremetal OS thingy
  ☆50Updated 6 years ago
• rust-embedded-community / tinyrlibc
  Tiny C library written in Rust
  ☆55Updated 4 months ago
• starfive-tech / opensbi
  ☆18Updated this week
• pfpacket / rust-9p
  Tokio-based asynchronous filesystems library using 9P2000.L protocol, an extended variant of 9P from Plan 9.
  ☆127Updated 11 months ago
• sgmarz / riscv_msi
  Message Signaled Interrupts for RISC-V
  ☆25Updated 6 months ago
• machdyne / kakao
  Kakao Linux
  ☆33Updated this week
• drone-os / drone-book
  Guide-level documentation for Drone, an Embedded Operating System.
  ☆30Updated 3 years ago
• 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…
  ☆24Updated last year
• sparkle-os / sparkle
  ✨ a microkernel in Rust
  ☆39Updated 3 years ago
• milkv-pioneer / pioneer-files
  Hardware information
  ☆33Updated 4 months ago
• wasm3 / wasm-coremark
  CoreMark 1.0 ported to WebAssembly
  ☆42Updated 3 years ago