HobbesOSR / kitten
Kitten Lightweight Kernel
☆54Updated last year
Alternatives and similar repositories for kitten:
Users that are interested in kitten are comparing it to the libraries listed below
- NOVA userland☆48Updated 11 years ago
- K42 Kernel☆27Updated 12 years ago
- ☆137Updated last week
- Many Threads Operating System☆18Updated 3 years ago
- The No-Order File System (NoFS)☆46Updated 12 years ago
- ☆52Updated 10 years 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
- ☆20Updated 9 years ago
- [deprecated] Reference Implementation of OpenSHMEM on GASNet (specification <= 1.3)☆43Updated 7 years ago
- OpenUH - Open Source UH Compiler☆53Updated 7 years ago
- McKernel☆116Updated 9 months ago
- The BERI and CHERI processor and hardware platform☆50Updated 8 years ago
- Process-in-Process☆17Updated 4 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆40Updated 2 years ago
- DragonEgg has been migrated to GCC 8 and LLVM 6 but also able to work for GCC 4.8 and LLVM 3.3☆19Updated 5 years ago
- The Mickey Mouse of dynamic linkers☆14Updated last month
- QEMU with support for CHERI☆58Updated last week
- User space POSIX-like file system in main memory☆38Updated 8 years ago
- A Tree Parser Generator☆96Updated 6 months ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆53Updated 3 weeks ago
- Popcorn Linux compiler toolchain for heterogeneous-ISA execution☆43Updated last year
- PTLsim and QEMU based Computer Architecture Research Simulator☆128Updated 3 years ago
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆36Updated 5 months ago
- ``Hello World'' for a Little-Endian OpenPower world (freestanding)☆18Updated 8 years ago
- Microkernel-based system for heterogeneous manycores☆108Updated 4 years ago
- rv6 is a kernel & operating system written entirely in rust.☆11Updated 5 years ago
- NOVA runtime environment (official branch)☆34Updated 3 years ago
- Binary tools: assembler, disassembler, linker, library manager, emulator☆60Updated 3 months ago
- UEFI boot loader☆79Updated 2 years ago
- Prototype no-assurance reference OS personality built on seL4☆49Updated last month