tomaka / redshirt

🧑‍🔬 Operating system
GNU General Public License v3.0
1.42k stars 37 forks source link
kernel peer-to-peer rust wasm

The redshirt operating system is an experiment to build some kind of operating-system-like environment where executables are all in Wasm and are loaded from an IPFS-like decentralized network.

See the docs/introduction.md file for an introduction.

How to test

Important: At the moment, most of the compilation requires a nightly version of Rust. See also https://github.com/tomaka/redshirt/issues/300. Your C compiler must be recent enough to be capable of compiling to WebAssembly. This is for example the case for clang 9. See also https://github.com/tomaka/redshirt/issues/257.

You also need to install the wasm32-wasi target, as the Wasm programs are compiled for Wasi, and the rust-src component in order to build the standalone kernel.

rustup toolchain install --target=wasm32-wasi nightly
rustup component add --toolchain=nightly rust-src

Building the freestanding kernel is then done through the utility called standalone-builder:

cd kernel-standalone-builder
cargo +nightly run -- emulator-run --emulator qemu --target x86_64-multiboot2

Repository structure

Short overview of the structure of the repository:

Contributing

Please note that so far this is mostly a personal project. I reserve the right to change anything at any time, including the license.