L4Ka::Hazelnut micro-kernel
☆37Sep 1, 2015Updated 10 years ago
Alternatives and similar repositories for hazelnut
Users that are interested in hazelnut are comparing it to the libraries listed below
Sorting:
- Minix 1.5 source code for the Atari ST☆13Feb 8, 2016Updated 10 years ago
- The Melon Operating System (nothing to see here!)☆13Oct 28, 2014Updated 11 years ago
- The source of the BSD version moving to POSIX complacence☆16Aug 2, 2014Updated 11 years ago
- xinu68k: Xinu for the Motorola MECB, AT&T PC 7300, AT&T UNIX PC, AT&T/Olivetti 3B1, Convergent Technologies S/50, and Sun Microsystems Su…☆18Mar 10, 2022Updated 3 years ago
- Dancy Operating System☆14Feb 20, 2026Updated last week
- The development version of the L4Re Microkernel☆157Feb 20, 2026Updated last week
- Genode OS Framework☆17Feb 24, 2026Updated last week
- Official repo for PC-BSD's NextBSD fork☆15Oct 29, 2015Updated 10 years ago
- Moved to:☆12Jul 9, 2019Updated 6 years ago
- Codezero Microkernel☆111Jan 30, 2026Updated last month
- A new iteration, from "scratch", of a µkernel-based operating system for 64-bit architectures. Previous iteration can be found here: http…☆15Updated this week
- uefi bootloader and kernel for x64☆16Dec 22, 2025Updated 2 months ago
- Basic tools for building seL4 projects☆53Feb 23, 2026Updated last week
- Historical sources for the TRIvial Operating System☆44Jan 17, 2020Updated 6 years ago
- A simple 68K virtual platform for FUZIX bring up and similar purposes☆20Jan 21, 2025Updated last year
- Small UNIX-like Real Time Operating System based on FreeRTOS kernel.☆18Aug 29, 2022Updated 3 years ago
- Simple OS-like program for x86-64 and AArch64☆63Jun 4, 2015Updated 10 years ago
- The sprite operating system☆55Oct 5, 2015Updated 10 years ago
- Mach 3☆53Sep 22, 2011Updated 14 years ago
- ☆26Nov 26, 2020Updated 5 years ago
- A kernel with a purpose - to keep most of the code out of the kernel☆15Jun 30, 2019Updated 6 years ago
- Advanced Operating Systems project☆21Sep 19, 2025Updated 5 months ago
- Just a collection of others' Unix implementations for educational purposes, centering around v6/v7☆22Jan 1, 2021Updated 5 years ago
- JS-OS is an operating system that is streaming to become a unix clone, but with some added/better capabilities. This project was started …☆26Dec 25, 2013Updated 12 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆57Feb 13, 2026Updated 2 weeks ago
- OSF Mach and MkLinux conservation project☆31Nov 3, 2012Updated 13 years ago
- Code Snippets, Libraries and Example projects created with DigiPen's Zero Engine.☆12Mar 10, 2018Updated 7 years ago
- Code repository for R Machine Learning Techniques, published by Packt☆11Jan 14, 2021Updated 5 years ago
- The TRS-XENIX Project☆37Jun 20, 2018Updated 7 years ago
- Operating system designed to be fast and secure.☆21May 23, 2017Updated 8 years ago
- Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V☆75Apr 17, 2025Updated 10 months ago
- Resilient Virtual Machine Monitor is a complete fault tolerance solution for type-I hypervisors adopting one of the most popular VMM arch…☆11Jul 30, 2020Updated 5 years ago
- The simple C/C++ library for hexapod (Robot spider with 6 legs) on Arduino.☆13Dec 27, 2018Updated 7 years ago
- ☆11Updated this week
- The mentally unstable 64-bit kernel☆35Jan 4, 2026Updated last month
- A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.☆65Aug 29, 2017Updated 8 years ago
- A simple Unix-like kernel trying to be POSIX compliant☆138Aug 11, 2024Updated last year
- ACC template generation engine☆12Jun 12, 2023Updated 2 years ago
- Gene expression viewer template☆11Aug 30, 2017Updated 8 years ago