HobbesOSR / kitten
Kitten Lightweight Kernel
☆55Updated last year
Alternatives and similar repositories for kitten:
Users that are interested in kitten are comparing it to the libraries listed below
- Process-in-Process☆17Updated 3 years ago
- K42 Kernel☆26Updated 12 years ago
- ☆136Updated 9 months ago
- McKernel☆115Updated 8 months ago
- QEMU with support for CHERI☆58Updated last week
- PMIx Reference RunTime Environment (PRRTE)☆37Updated this week
- The BERI and CHERI processor and hardware platform☆49Updated 7 years ago
- OpenUH - Open Source UH Compiler☆53Updated 7 years ago
- Fully open source PathScale successor to Open64. Path64 is the community support version of PathScale compiler meant to encourage collabo…☆23Updated 14 years ago
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆36Updated 4 months ago
- ☆52Updated 10 years ago
- Many Threads Operating System☆18Updated 2 years ago
- A Tree Parser Generator☆95Updated 5 months ago
- NOVA userland☆48Updated 11 years ago
- NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu☆45Updated 10 months ago
- [deprecated] Reference Implementation of OpenSHMEM on GASNet (specification <= 1.3)☆43Updated 7 years ago
- ☆20Updated 9 years ago
- Project ARES represents a joint effort between LANL and ORNL to introduce a common compiler representation and tool-chain for HPC applica…☆10Updated 8 years ago
- Program analysis tool based on software performance counters☆56Updated 3 years ago
- PTLsim and QEMU based Computer Architecture Research Simulator☆128Updated 3 years ago
- Binary tools: assembler, disassembler, linker, library manager, emulator☆60Updated last month
- Moxie-compatible core repository☆46Updated last year
- Table of ARM SoC and their features☆49Updated last week
- ☆35Updated 3 weeks ago
- Nautilus Aerokernel☆45Updated 2 years ago
- The Akaros operating system☆41Updated 4 years ago
- Microkernel-based system for heterogeneous manycores☆108Updated 4 years ago
- Popcorn Linux compiler toolchain for heterogeneous-ISA execution☆43Updated 11 months ago
- An exokernel for the raspberry pi 3.☆80Updated 3 years ago
- The Mickey Mouse of dynamic linkers☆14Updated last week