l4re-core
by kernkonzept
The core components of the L4Re operating system.
AI summary
OS core
The core components of an embedded operating system
- stars
- 78
- forks
- 18
- watching
- 15
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
OS kernel
Builds a minimal multi-tasking OS kernel for ARM from scratch
kernel
The xnu kernel project provides the core operating system software for Apple's macOS and iOS systems.
OS kernel
A basic x86 OS kernel with an embedded BASIC interpreter
lkl/linux819
Kernel library
Enables efficient reuse of Linux kernel code in applications
OS kernel
A minimal multi-tasking OS kernel built from scratch for ARM Cortex-M series microcontrollers
Microcontroller HAL
A Rust-based Hardware Abstraction Layer for Infineon XMC4xxx microcontrollers
Pi kernel
Develops custom kernels and firmware for Raspberry Pi devices
OS for ARM M3
A bare-metal operating system implementation for the ARM(R) Cortex(M)-M3 microcontroller
Embedded OS
An operating system kernel and source tree for development of an embedded system
Unix-like kernel
A minimal Unix-like kernel that can be expanded and loaded at runtime with dynamic linking
OS kernel
The Charlotte Core project develops the core components of an operating system
OS kernel
An operating system kernel with basic features and an initial set of components
OS
A hobby operating system designed to be modular and compatible with various hardware configurations.
OS
A small operating system designed to run on various x86 hardware configurations with minimal memory footprint and modular architecture
OS kernel
A formally-verified, 64-bit operating system for x86-64 architecture written in Ada.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions l4re-core.
