HobbesOSR / kitten
Kitten Lightweight Kernel
☆52Updated last year
Related projects: ⓘ
- K42 Kernel☆23Updated 12 years ago
- The No-Order File System (NoFS)☆47Updated 11 years ago
- Process-in-Process☆17Updated 3 years ago
- ☆52Updated 10 years ago
- ☆132Updated 4 months ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆35Updated last year
- PTLsim and QEMU based Computer Architecture Research Simulator☆128Updated 2 years ago
- A Tree Parser Generator☆91Updated 9 years ago
- Microkernel-based system for heterogeneous manycores☆104Updated 4 years ago
- NOVA userland☆47Updated 10 years ago
- Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.☆65Updated 4 years ago
- The BERI and CHERI processor and hardware platform☆45Updated 7 years ago
- ``Hello World'' for a Little-Endian OpenPower world (freestanding)☆18Updated 7 years ago
- Easy the setup and startup of the IBM POWER Functional Simulator. It automatizes all the required procedures like dependencies installati…☆22Updated 7 years ago
- Power Vector Library☆29Updated last month
- Component Architecture test suite and example apps.☆27Updated 2 months ago
- The Quest Operating System☆49Updated 7 years ago
- PAFLib is an IBM written library which exposes Power Architecture Facilities to userspace via an API☆11Updated 7 years ago
- QEMU with support for CHERI☆52Updated 2 weeks ago
- The Mickey Mouse of dynamic linkers☆14Updated last year
- L4Ka::Hazelnut micro-kernel☆32Updated 9 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
- Allows safer access to model specific registers (MSRs)☆92Updated last week
- Moxie-compatible core repository☆45Updated 8 months ago
- Popcorn Linux compiler toolchain for heterogeneous-ISA execution☆41Updated 5 months ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆47Updated 2 years ago
- Nautilus Aerokernel☆43Updated 2 years ago
- I-cache line packing and branch misprediction measuring tool☆17Updated 7 years ago
- McKernel☆106Updated 2 months ago
- Fork of LLVM adding CHERI support☆46Updated last week