jimix / k42
K42 Kernel
☆26Updated 12 years ago
Alternatives and similar repositories for k42:
Users that are interested in k42 are comparing it to the libraries listed below
- NOVA userland☆48Updated 11 years ago
- Software and documentation, mostly from the 80s and 90s☆23Updated 9 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆38Updated 2 years ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆51Updated 2 years ago
- uefi app/bootloader development sandbox☆15Updated 8 years ago
- ☆31Updated 3 years ago
- sel4 benchmarking applications and support library.☆19Updated last week
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- ☆25Updated last week
- A Machine-Independent Debugger☆30Updated 4 months ago
- Portable C Compiler (CVS mirror)☆11Updated 12 years ago
- QEMU with support for CHERI☆57Updated this week
- ☆48Updated 3 months ago
- Many Threads Operating System☆18Updated 2 years ago
- NOVA runtime environment (official branch)☆34Updated 3 years ago
- rv6 is a kernel & operating system written entirely in rust.☆11Updated 5 years ago
- A minimal 64-bit operating system for x86-64☆9Updated 11 months ago
- This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now…☆14Updated 4 months ago
- Fork of LLVM adding CHERI support☆50Updated this week
- LLVM backend for m88k architecture☆49Updated this week
- Advanced Operating Systems project☆20Updated 5 months ago
- An exokernel for the raspberry pi 3.☆80Updated 3 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
- Collection of community-maintained components for Genode☆46Updated this week
- Prototype no-assurance reference OS personality built on seL4☆49Updated 3 years ago
- Virtual Machine built as a CAmkES component.☆23Updated 7 months ago
- Workflows to build daily and ad hoc compilers for Compiler Explorer☆18Updated 3 weeks ago
- A revival of the TREE-META compiler-compiler.☆14Updated 6 years ago
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆21Updated this week
- DragonEgg has been migrated to GCC 8 and LLVM 6 but also able to work for GCC 4.8 and LLVM 3.3☆18Updated 5 years ago