Codezero Microkernel
☆111Jan 30, 2026Updated last month
Alternatives and similar repositories for codezero
Users that are interested in codezero are comparing it to the libraries listed below
Sorting:
- An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4☆748Feb 1, 2026Updated last month
- Enhanced version of rtenv: minimal real-time environment for ARM Cortex-M3☆11May 7, 2018Updated 7 years ago
- RTOS based on L4 microkernel.☆17Sep 18, 2018Updated 7 years ago
- Enhanced version of rtenv: minimal real-time environment for ARM Cortex-M3☆25Mar 11, 2014Updated 12 years ago
- RTOS based on L4 microkernel.☆18Sep 18, 2018Updated 7 years ago
- classical example of concurrent producer/consumer problem☆22Apr 28, 2023Updated 2 years ago
- A tiny Linux-like real-time kernel optimized for ARM Cortex-M chips☆319Dec 3, 2023Updated 2 years ago
- Build a minimal multi-tasking OS kernel for ARM from scratch☆1,214Dec 14, 2025Updated 3 months ago
- Small C Compiler generating ELF executable Arm architecture, supporting JIT execution☆1,053Aug 5, 2025Updated 7 months ago
- minimal dynamic linker implementation for ELF, supporting x86_64 and Arm/Aarch64☆192Mar 8, 2018Updated 8 years ago
- A minimal UNIX kernel project for x86 PCs☆39Apr 10, 2019Updated 6 years ago
- L4Ka::Pistachio micro-kernel☆299Oct 14, 2019Updated 6 years ago
- ☆19Jul 13, 2015Updated 10 years ago
- Build a minimal multi-tasking OS kernel for ARM Cortex-M series from scratch☆205Sep 1, 2017Updated 8 years ago
- re-implementation of UNIX v6 in ANSI C for x86_64 SMP☆194Jul 22, 2023Updated 2 years ago
- A Lita extension to extract CLI-style arguments from messages.☆13Oct 9, 2015Updated 10 years ago
- TEE hardware - based on the chipyard repository - hardware to accelerate TEE☆24Dec 16, 2022Updated 3 years ago
- JIT compiler from scratch, derived from Nick Desaulniers' great work☆44Nov 25, 2020Updated 5 years ago
- ☆14Sep 11, 2019Updated 6 years ago
- Contents from Solaris 8 Source Foundation☆11Oct 11, 2021Updated 4 years ago
- PostgreSQL Schema is a database migration tool.☆13Apr 5, 2018Updated 7 years ago
- Develop your own OS kernel by reusing Linux infrastructure☆176Jul 1, 2015Updated 10 years ago
- A neat little kernel☆11Jul 15, 2019Updated 6 years ago
- The seL4 microkernel☆5,354Mar 13, 2026Updated last week
- MP4播放示例程序，i.MXRT1060/1170+SD+FatFS+FFmpeg3.0.11☆12Jan 13, 2024Updated 2 years ago
- A personal x86 kernel - Dead, I'll write it down again from scratch.☆30Feb 16, 2018Updated 8 years ago
- A collection of codes, articles and courses material by ccc☆37Feb 24, 2018Updated 8 years ago
- A basic microkernel☆37Apr 21, 2013Updated 12 years ago
- A proof-of-concept Gen-Z subsystem for Linux written against the Gen-Z Fabric Emulation Environment.☆11May 8, 2019Updated 6 years ago
- A minimal mark-and-sweep garbage collector☆43Apr 3, 2019Updated 6 years ago
- ☆12Sep 3, 2017Updated 8 years ago
- A collection of small programs using toxcore.☆16Feb 10, 2026Updated last month
- Bootstrapping a C compiler from scratch☆13Jul 3, 2023Updated 2 years ago
- ☆15Aug 4, 2022Updated 3 years ago
- Small ray tracing program for performance evaluation☆11Feb 19, 2017Updated 9 years ago
- Implementation of All ▲lgorithms in Erlang Programming Language☆13Oct 2, 2020Updated 5 years ago
- Tox Cam☆13May 16, 2020Updated 5 years ago
- Another tiny RISC-V implementation☆64Jul 19, 2021Updated 4 years ago
- Embed Ruby in your Haskell program.☆23Apr 4, 2024Updated last year