kernkonzept / l4re-core
The core components of the L4Re operating system.
☆75Updated last week
Related projects ⓘ
Alternatives and complementary repositories for l4re-core
- The development version of the L4Re Microkernel☆105Updated last week
- ☆55Updated 4 months ago
- Microkernel-based system for heterogeneous manycores☆108Updated 4 years ago
- Virtual machine monitor for L4Re☆28Updated last week
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated 2 months ago
- Codezero Microkernel☆105Updated 2 years ago
- my homebrew OS☆31Updated 4 years ago
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆168Updated this week
- NOVA Microhypervisor☆378Updated this week
- Microkit - A simple operating system framework for the seL4 microkernel☆86Updated last week
- Fork of LLVM adding CHERI support☆48Updated last week
- The main L4Re manifest to checkout the L4Re operating system.☆19Updated 2 months ago
- ☆19Updated 4 months ago
- aarch64 bare metal test on qemu☆92Updated 9 years ago
- Prototype no-assurance reference OS personality built on seL4☆49Updated 3 years ago
- Tutorials for working with seL4 and/or CAmkES.☆52Updated last month
- Basic tools for building seL4 projects☆43Updated 2 months ago
- OpenMach operating system☆80Updated 9 years ago
- L4Ka::Pistachio micro-kernel☆273Updated 5 years ago
- Research Operating System Kernel☆61Updated last week
- QEMU with support for CHERI☆54Updated this week
- Xvisor: eXtensible Versatile hypervISOR☆88Updated 3 months ago
- Hello RISC-V 64!☆17Updated 6 years ago
- re-implementation of UNIX v6 in ANSI C for x86_64 SMP☆175Updated last year
- A component-based OS☆185Updated 2 months ago
- sel4 benchmarking applications and support library.☆18Updated 4 months ago
- My gnu-efi development tree.☆71Updated 3 months ago
- L4Ka::Hazelnut micro-kernel☆32Updated 9 years ago
- Raspberry Pi bare metal code for qemu raspi2 and raspi3.☆50Updated 3 years ago
- Easily build and run CHERI related projects☆68Updated last week