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:
- ☆52Updated 11 years ago
- ☆138Updated 4 months ago
- ``Hello World'' for a Little-Endian OpenPower world (freestanding)☆18Updated 8 years ago
- Moxie-compatible core repository☆47Updated 2 weeks ago
- McKernel☆120Updated last year
- How To Retarget the GNU Toolchain in 21 Patches☆84Updated 10 years ago
- K42 Kernel☆29Updated 13 years ago
- A Tree Parser Generator☆99Updated 10 months ago
- Power Vector Library☆30Updated last month
- Popcorn Linux compiler toolchain for heterogeneous-ISA execution☆47Updated last year
- Microkernel-based system for heterogeneous manycores☆109Updated 4 years ago
- The No-Order File System (NoFS)☆47Updated 12 years ago
- An experimental System-on-Chip with a custom compiler toolchain.☆60Updated 5 years ago
- I-cache line packing and branch misprediction measuring tool☆18Updated 8 years ago
- The Antikernel operating system project☆121Updated 5 years ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆55Updated 3 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
- David M. Gay's floating-point conversion library☆34Updated 15 years ago
- NOVA userland☆48Updated 11 years ago
- QEMU with support for CHERI☆59Updated last week
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆181Updated last week
- ☆48Updated 9 months ago
- Binary tools: assembler, disassembler, linker, library manager, emulator☆61Updated 7 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
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆68Updated 4 years ago
- Akaros Operating System☆320Updated 3 years ago
- Bootstrapping VM for bare metal to trusted C compilation☆47Updated 9 months ago
- Reference manual for ForwardCom instruction set and software standards☆168Updated 7 months ago
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆24Updated 4 years ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 5 months ago