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
52 watching
182 forks
Language: Rust
last commit: about 1 month 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,798 |
 google/gvisor | An application kernel that provides isolation between running applications and the host operating system | 15,931 |
 minoca/os | An operating system written from scratch with modular and compatible design principles | 2,723 |
 nodeos/nodeos | A lightweight operating system built on top of Node.js to provide a minimal user environment and abstract the underlying infrastructure. | 6,948 |
 reactos/reactos | An operating system designed to be compatible with applications and drivers written for Microsoft Windows NT family of operating systems. | 14,891 |
 mamedev/mame | Emulates vintage computers, consoles, and arcade machines to preserve software history. | 8,502 |
 oasislinux/oasis | A small, statically-linked Linux system with a focus on simplicity and reproducibility | 2,824 |
 theseus-os/theseus | An experimental operating system written in Rust to explore intralingual design principles and shift OS responsibilities into the compiler. | 2,936 |
 hathach/tinyusb | An open-source USB stack for embedded systems | 5,134 |
 ovh/cds | An enterprise-grade platform for automating continuous delivery and devops workflows using Go. | 4,620 |
 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,964 |
 sagiegurari/cargo-make | A tool that automates the build process for Rust projects | 2,614 |
 opencontainers/runtime-spec | Develops standards for launching and managing application containers across different platforms | 3,247 |
 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. | 7,057 |