hubris
Operating Environment
A lightweight operating environment designed for deeply-embedded systems with reliability requirements.
A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
3k stars
51 watching
174 forks
Language: Rust
last commit: 6 days ago
Linked from 2 awesome lists
embedded-boston/awesome-embedded-systemsRelated projects:
| Repository | Description | Stars |
|---|---|---|
 rust-embedded/rust-raspberrypi-os-tutorials | A tutorial series for developing operating systems from scratch using Rust on ARMv8-A architecture | 13,693 |
 google/gvisor | An application kernel that provides isolation between running applications and the host operating system | 15,851 |
 minoca/os | An operating system written from scratch with modular and compatible design principles | 2,724 |
 nodeos/nodeos | A lightweight operating system built on top of Node.js to provide a minimal user environment and abstract the underlying infrastructure. | 6,947 |
 reactos/reactos | An operating system designed to be compatible with applications and drivers written for Microsoft Windows NT family of operating systems. | 14,782 |
 mamedev/mame | Emulates vintage computers, consoles, and arcade machines to preserve software history. | 8,340 |
 oasislinux/oasis | A small, statically-linked Linux system with a focus on simplicity and reproducibility | 2,802 |
 theseus-os/theseus | An experimental operating system written in Rust to explore intralingual design principles and shift OS responsibilities into the compiler. | 2,912 |
 hathach/tinyusb | An open-source USB stack for embedded systems | 5,079 |
 ovh/cds | An enterprise-grade platform for automating continuous delivery and devops workflows using Go. | 4,601 |
 senecajs/seneca | A toolkit for building microservice architectures in Node.js, providing a flexible way to handle business requirements and manage interactions between services. | 3,960 |
 sagiegurari/cargo-make | A tool that automates the build process for Rust projects | 2,597 |
 opencontainers/runtime-spec | Develops standards for launching and managing application containers across different platforms | 3,227 |
 docandrew/cubit | A formally-verified, 64-bit operating system for x86-64 architecture written in Ada. | 78 |
 siderolabs/talos | A secure and minimal Linux distribution designed to run Kubernetes in production environments. | 6,871 |