kernkonzept / fiasco
The development version of the L4Re Microkernel
☆113Updated 2 weeks ago
Alternatives and similar repositories for fiasco:
Users that are interested in fiasco are comparing it to the libraries listed below
- The core components of the L4Re operating system.☆82Updated 2 weeks ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated 2 weeks ago
- L4Ka::Pistachio micro-kernel☆275Updated 5 years ago
- NOVA Microhypervisor☆388Updated 3 weeks ago
- ☆58Updated last week
- ☆100Updated 6 years ago
- aarch64 bare metal test on qemu☆96Updated 9 years ago
- Raspberry Pi bare metal code for qemu raspi2 and raspi3.☆51Updated 3 years ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆197Updated last year
- Operating System☆132Updated 2 years ago
- my homebrew OS☆33Updated 4 years ago
- Tutorials for working with seL4 and/or CAmkES.☆53Updated 2 weeks ago
- Xvisor: eXtensible Versatile hypervISOR☆87Updated last week
- The main L4Re manifest to checkout the L4Re operating system.☆19Updated last month
- Microkit - A simple operating system framework for the seL4 microkernel☆104Updated this week
- Codezero Microkernel☆107Updated 3 years ago
- Operating system project☆33Updated this week
- L4Ka::Hazelnut micro-kernel☆33Updated 9 years ago
- LAI is an interpreter for AML, the ACPI Machine Language.☆177Updated 11 months ago
- A 64-bit SMP-safe kernel for the PC architecture.☆84Updated 6 years ago
- ☆58Updated 2 years ago
- OpenMach operating system☆82Updated 10 years ago
- OS support for 64 bit ARM architecture☆47Updated 6 years ago
- Community site for microkernel projects.☆28Updated 3 weeks ago
- Hello RISC-V 64!☆17Updated 6 years ago
- Virtual machine monitor for L4Re☆28Updated 2 weeks ago
- A component-based OS☆190Updated last week
- My gnu-efi development tree.☆72Updated last week
- UEFI app to load ELF and Raw binary☆29Updated 9 years ago
- Flexible Virtualization Solution for Embedded System☆252Updated 11 months ago