HobbesOSR / kittenLinks
Kitten Lightweight Kernel
☆55Updated 2 years ago
Alternatives and similar repositories for kitten
Users that are interested in kitten are comparing it to the libraries listed below
Sorting:
- K42 Kernel☆31Updated 13 years ago
- The sprite operating system☆56Updated 10 years ago
- ☆141Updated 7 months ago
- The No-Order File System (NoFS)☆48Updated 13 years ago
- ``Hello World'' for a Little-Endian OpenPower world (freestanding)☆19Updated 9 years ago
- A simulator for the Multics dps-8/m mainframe☆49Updated 6 years ago
- ☆53Updated 11 years ago
- How To Retarget the GNU Toolchain in 21 Patches☆84Updated 10 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆42Updated 2 years ago
- Microkernel-based system for heterogeneous manycores☆113Updated 5 years ago
- Moxie-compatible core repository☆47Updated 3 months ago
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆69Updated 4 years ago
- A Tree Parser Generator☆101Updated last year
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆190Updated last week
- McKernel☆120Updated 2 months ago
- Power Vector Library☆30Updated 4 months ago
- Fully open source PathScale successor to Open64. Path64 is the community support version of PathScale compiler meant to encourage collabo…☆23Updated 15 years ago
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Updated 8 years ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆56Updated 3 years ago
- [Please switch to NetBSD/src] Automatically updated conversion of the "src" module from anoncvs.netbsd.org☆42Updated 8 years ago
- Akaros Operating System☆323Updated 3 years ago
- I-cache line packing and branch misprediction measuring tool☆18Updated 8 years ago
- NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu☆46Updated last year
- The Antikernel operating system project☆119Updated 5 years ago
- Bootstrapping VM for bare metal to trusted C compilation☆50Updated last year
- Popcorn Linux compiler toolchain for heterogeneous-ISA execution☆49Updated last year
- NOVA userland☆48Updated 11 years ago
- BSD-licensed CTF Implementation☆21Updated 10 years ago
- Collection of community-maintained components for Genode☆48Updated this week
- LLVM backend for m88k architecture☆51Updated 3 months ago