Theseus

kernel rust

Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.

How to download and setup Theseus

Open terminal and run command

git clone https://github.com/theseus-os/Theseus.git

git clone is used to create a copy or clone of Theseus repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with Theseus https://github.com/theseus-os/Theseus/archive/master.zip

Or simply clone Theseus with SSH

[email protected]:theseus-os/Theseus.git

If you have some problems with Theseus

You may open issue on Theseus support forum (system) here: https://github.com/theseus-os/Theseus/issues

Similar to Theseus repositories

Here you may see Theseus alternatives and analogs

awesomo raspberry-pi-os rust-algorithms alacritty gvisor reactos tikv PumpkinDB iota amp void termion ocl linkerd-tcp gdbgui compiler-explorer hyper hyperfine spectre-meltdown-checker Awesome-UNIX ripgrep fd nix rust-doom bat windows-kernel-exploits linux-kernel-exploits librevault rust-libp2p coreutils