306 Repositories
Rust system-monitor Libraries
A secure embedded operating system for microcontrollers
Tock is an embedded operating system designed for running multiple concurrent, mutually distrustful applications on Cortex-M and RISC-V based embedded
Mirror of https://gitlab.redox-os.org/redox-os/redox
Redox is an operating system written in Rust, a language with focus on safety and high performance. Redox, following the microkernel design, aims to b
A secure embedded operating system for microcontrollers
Tock is an embedded operating system designed for running multiple concurrent, mutually distrustful applications on Cortex-M and RISC-V based embedded
(Going to be) A microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
Read this (from the creator of Nebulet) Hi everyone, It's been a while since I've looked at this repository. Nebulet is not in active development, and
A comparison of operating systems written in Rust
Rust OS comparison A comparison of operating systems written in Rust. There are several open source operating systems written in Rust. Most of them ar
A system to programmatically run data pipelines
Factotum A dag running tool designed for efficiently running complex jobs with non-trivial dependency trees. The zen of Factotum A Turing-complete job