l4re-core
OS core
The core components of an embedded operating system
The core components of the L4Re operating system.
78 stars
15 watching
18 forks
Language: C++
last commit: 11 months ago
Linked from 1 awesome list
arml4microkernelmipsmultiserveroperating-systemx86
jubalh/awesome-osRelated projects:
| Repository | Description | Stars |
|---|---|---|
 jserv/mini-arm-os | Builds a minimal multi-tasking OS kernel for ARM from scratch | 1,072 |
 apple-oss-distributions/xnu | The xnu kernel project provides the core operating system software for Apple's macOS and iOS systems. | 1,872 |
 d99kris/nopeos | A basic x86 OS kernel with an embedded BASIC interpreter | 44 |
 lkl/linux | Enables efficient reuse of Linux kernel code in applications | 819 |
 embedded2015/mini-arm-os | A minimal multi-tasking OS kernel built from scratch for ARM Cortex-M series microcontrollers | 181 |
 xmc-rs/xmc4-hal | A Rust-based Hardware Abstraction Layer for Infineon XMC4xxx microcontrollers | 3 |
 librerpi/lk-overlay | Develops custom kernels and firmware for Raspberry Pi devices | 90 |
 chalandi/osek | A bare-metal operating system implementation for the ARM(R) Cortex(M)-M3 microcontroller | 32 |
 bone-project/boneos | An operating system kernel and source tree for development of an embedded system | 129 |
 menix-os/menix | A minimal Unix-like kernel that can be expanded and loaded at runtime with dynamic linking | 19 |
 charlotte-os/charlotte-core | The Charlotte Core project develops the core components of an operating system | 115 |
 polard8/kernel | An operating system kernel with basic features and an initial set of components | 646 |
 garnek0/garnos | A hobby operating system designed to be modular and compatible with various hardware configurations. | 11 |
 pgram/jsd-os | A small operating system designed to run on various x86 hardware configurations with minimal memory footprint and modular architecture | 58 |
 docandrew/cubit | A formally-verified, 64-bit operating system for x86-64 architecture written in Ada. | 78 |