Alternatives and similar repositories for wasm-kernel

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

• reynoldsbd / bootloader-uefi
  A pure-Rust UEFI bootloader
  ☆30Updated 7 years ago
• metta-systems / vesper
  Single-address-space capability-based nanokernel
  ☆86Updated last week
• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆67Updated 2 years ago
• AntoineSebert / dandelion
  🌀 Microkernel Real-Time Operating System in Rust
  ☆45Updated 2 years ago
• Dentosal / rust_os
  My hobby operating system microkernel written in Rust
  ☆46Updated 4 months ago
• rust-embedded-community / tinyrlibc
  Tiny C library written in Rust
  ☆66Updated last month
• gurry / efi
  Ergonomic Rust framework for writing UEFI applications.
  ☆71Updated last year
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆200Updated last year
• tock / tockloader
  Tool for programming Tock onto hardware boards.
  ☆44Updated last week
• hermit-os / hermit-playground
  A playground to build C/C++/Go/Fortran applications on top of RustyHermit
  ☆41Updated last year
• dschuff / wasm-aot-prototype
  AOT compiler and static runtime for WebAssembly
  ☆37Updated 4 years ago
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆43Updated 3 weeks ago
• lowenware / leos-kernel
  LeOS operating system Kernel for AArch64 written in Rust
  ☆81Updated 5 years ago
• Neotron-Compute / Neotron-Book
  A user manual and technical reference for the Neotron family
  ☆39Updated last year
• kwast-os / kwast
  Rust operating system running WebAssembly as userspace in ring 0
  ☆180Updated 5 years ago
• kogai / wasvm
  WebAssembly Virtual Machine, which aim to run on micro-controller
  ☆53Updated 3 years ago
• NathanMcMillan54 / novusk
  A kernel written in Rust
  ☆92Updated last year
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆120Updated 2 years ago
• capros-os / capros
  CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…
  ☆77Updated 3 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• lupyuen / tcc-riscv32-wasm
  TCC (Tiny C Compiler) for 64-bit RISC-V, compiled to WebAssembly with Zig Compiler
  ☆54Updated last year
• yavko / yavkOS
  Operating system based off of blog_os, with the goal of running wasm modules as executables
  ☆24Updated 2 years ago
• rust-vmm / vhost-device
  'vhost-user' device backends workspace
  ☆111Updated this week
• Narasimha1997 / r3
  A tiny x86_64 kernel written in Rust.
  ☆84Updated 3 years ago
• robert-w-gries / rxinu
  Rust implementation of Xinu educational operating system
  ☆34Updated 5 years ago
• sgmarz / riscv_msi
  Message Signaled Interrupts for RISC-V
  ☆28Updated last year
• sjdh02 / trOS
  tiny aarch64 baremetal OS thingy
  ☆54Updated 6 years ago
• zdimension / parm_extended
  ☆52Updated 2 months ago
• ardaku / window
  Minimal Rust code for creating a window with native headerbars.
  ☆20Updated last week
• rust-vmm / vm-allocator
  Provides allocations and release strategies for resources used during the lifetime of a VM.
  ☆32Updated 3 weeks ago