michaelmelanson / wasm-kernelLinks
Runs WebAssembly binaries on barebones x86-64 systems.
☆17Updated 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
- Single-address-space capability-based nanokernel☆82Updated 3 weeks ago
- Ergonomic Rust framework for writing UEFI applications.☆65Updated 7 months ago
- 🌀 Microkernel Real-Time Operating System in Rust☆46Updated 2 years ago
- A L4-like micro-kernel OS written in Rust☆66Updated last year
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆198Updated 7 months ago
- Rust operating system running WebAssembly as userspace in ring 0☆174Updated 4 years ago
- tiny aarch64 baremetal OS thingy☆50Updated 6 years ago
- AOT compiler and static runtime for WebAssembly☆36Updated 3 years ago
- A low-level virtualization interface for Linux-based systems using WebAssembly☆124Updated 3 weeks ago
- A curated list of awesome things related to rustsbi☆41Updated 2 years ago
- Tiny C library written in Rust☆61Updated 8 months ago
- Rust, cargo and QEMU setup for multi-architecture OS development.☆40Updated 4 years ago
- CoreMark 1.0 ported to WebAssembly☆44Updated 4 years ago
- Tool for programming Tock onto hardware boards.☆43Updated last week
- A RISC-V simulator implementing RV32G[C].☆35Updated 2 years ago
- 'vhost-user' device backends workspace☆97Updated last week
- My hobby operating system microkernel written in Rust☆45Updated 2 years ago
- Operating system based off of blog_os, with the goal of running wasm modules as executables☆24Updated 2 years ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆31Updated this week
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆118Updated 2 years ago
- Kernel Mode WebAssembly Runtime for Linux☆48Updated 5 years ago
- Linux kernel build scripts and patches for Fedora/RISC-V☆16Updated 6 years ago
- TCC (Tiny C Compiler) for 64-bit RISC-V, compiled to WebAssembly with Zig Compiler☆45Updated last year
- Minimal Rust code for creating a window with native headerbars.☆20Updated 2 years ago
- Rust implementation of Xinu educational operating system☆34Updated 4 years ago
- An educational hypervisor for eduOS-rs☆21Updated 2 years ago
- Modern operating system aimed at running WebAssembly code.☆64Updated 4 years ago
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆31Updated 5 years ago
- ☆17Updated 2 years ago