Codezero Microkernel
☆111Jan 30, 2026Updated 2 months ago
Alternatives and similar repositories for codezero
Users that are interested in codezero are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4☆752Mar 25, 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
- L4Ka::Hazelnut micro-kernel☆38Sep 1, 2015Updated 10 years ago
- minimal instruction set and assembler/compiler for "Hello World" execution☆115Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A lightweight para-virtualization layer to provide real-time environments for Linux/ARM.☆46Oct 14, 2014Updated 11 years ago
- Simple Lisp compiler. Compiles a minimal Lisp dialect to ANSI C.☆19Jul 26, 2015Updated 10 years ago
- RTOS based on L4 microkernel.☆18Sep 18, 2018Updated 7 years ago
- classical example of concurrent producer/consumer problem☆22Apr 28, 2023Updated 3 years ago
- A tiny Linux-like real-time kernel optimized for ARM Cortex-M chips☆320Dec 3, 2023Updated 2 years ago
- Build a minimal multi-tasking OS kernel for ARM from scratch☆1,224Dec 14, 2025Updated 4 months ago
- Small C Compiler generating ELF executable Arm architecture, supporting JIT execution☆1,057Aug 5, 2025Updated 8 months ago
- minimal dynamic linker implementation for ELF, supporting x86_64 and Arm/Aarch64☆196Apr 1, 2026Updated 3 weeks ago
- A minimal UNIX kernel project for x86 PCs☆39Apr 10, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- L4Ka::Pistachio micro-kernel☆300Oct 14, 2019Updated 6 years ago
- RaspberryPi☆22Mar 20, 2015Updated 11 years ago
- Build a minimal multi-tasking OS kernel for ARM Cortex-M series from scratch☆204Sep 1, 2017Updated 8 years ago
- re-implementation of UNIX v6 in ANSI C for x86_64 SMP☆194Jul 22, 2023Updated 2 years ago
- A simple example Wayland compositor using Clutter☆15Jul 18, 2013Updated 12 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
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A neat little kernel☆11Jul 15, 2019Updated 6 years ago
- Develop your own OS kernel by reusing Linux infrastructure☆176Jul 1, 2015Updated 10 years ago
- The seL4 microkernel☆5,439Apr 13, 2026Updated 2 weeks ago
- A collection of codes, articles and courses material by ccc☆37Feb 24, 2018Updated 8 years ago
- Configuration GUI and plugin API for the Awesome window manager☆10Aug 11, 2015Updated 10 years ago
- Simulate Linux Completely Fair Scheduler (CFS) using POSIX Threads☆22Aug 21, 2021Updated 4 years ago
- A minimal mark-and-sweep garbage collector☆43Apr 3, 2019Updated 7 years ago
- Filesystem abstraction layer☆10Feb 17, 2026Updated 2 months ago
- Bootstrapping a C compiler from scratch☆13Jul 3, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆15Aug 4, 2022Updated 3 years ago
- Implementation of All ▲lgorithms in Erlang Programming Language☆13Oct 2, 2020Updated 5 years ago
- MINIX v3.1.0 - described in the book 'Operating Systems Design and Implementation' 3rd edition.☆19Jun 1, 2016Updated 9 years ago
- Library to create virtual network connections via tox☆12Jun 6, 2016Updated 9 years ago
- Another tiny RISC-V implementation☆67Jul 19, 2021Updated 4 years ago
- Yet another Facebook clone written in C☆589Sep 30, 2023Updated 2 years ago
- A Rocket-Chip with a Dynamically Randomized LLC☆13Sep 18, 2024Updated last year