michaelmelanson / wasm-kernelLinks
Runs WebAssembly binaries on barebones x86-64 systems.
☆18Updated 6 years ago
Alternatives and similar repositories for wasm-kernel
Users that are interested in wasm-kernel are comparing it to the libraries listed below
Sorting:
- A pure-Rust UEFI bootloader☆30Updated 7 years ago
- A L4-like micro-kernel OS written in Rust☆67Updated 2 years ago
- A tiny x86_64 kernel written in Rust.☆84Updated 3 years ago
- Ergonomic Rust framework for writing UEFI applications.☆71Updated last year
- Single-address-space capability-based nanokernel☆86Updated this week
- Rust operating system running WebAssembly as userspace in ring 0☆179Updated 5 years ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆42Updated 3 weeks ago
- A user manual and technical reference for the Neotron family☆39Updated last year
- My hobby operating system microkernel written in Rust☆46Updated 4 months ago
- 🌀 Microkernel Real-Time Operating System in Rust☆45Updated 2 years ago
- CoreMark 1.0 ported to WebAssembly☆44Updated 4 years ago
- Filesystem abstraction layer☆10Updated 2 years ago
- LeOS operating system Kernel for AArch64 written in Rust☆81Updated 5 years ago
- Rust, cargo and QEMU setup for multi-architecture OS development.☆41Updated 5 years ago
- Tool for programming Tock onto hardware boards.☆44Updated 3 weeks ago
- Assemble 128-bit RISC-V☆46Updated 2 years ago
- A playground to build C/C++/Go/Fortran applications on top of RustyHermit☆41Updated last year
- Minimal Rust code for creating a window with native headerbars.☆20Updated 3 weeks ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆120Updated 2 years ago
- TCC (Tiny C Compiler) for 64-bit RISC-V, compiled to WebAssembly with Zig Compiler☆54Updated last year
- Kernel Mode WebAssembly Runtime for Linux☆49Updated 6 years ago
- A low-level virtualization interface for Linux-based systems using WebAssembly☆170Updated last week
- Modern operating system aimed at running WebAssembly code.☆64Updated 5 years ago
- Tiny C library written in Rust☆66Updated 3 weeks ago
- A Raspberry Pi OS Kernel in Rust☆37Updated last year
- 'vhost-user' device backends workspace☆110Updated last week
- A POSIX system using WebAssembly's software fault isolation☆73Updated 6 years ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆200Updated last year
- Reading DWARF information from wasm files.☆19Updated 7 years ago
- Open Source Rust kernel; Runs WASM and WASI as lightweight containers.☆49Updated 4 years ago