kernkonzept / fiascoLinks
The development version of the L4Re Microkernel
☆132Updated last week
Alternatives and similar repositories for fiasco
Users that are interested in fiasco are comparing it to the libraries listed below
Sorting:
- The core components of the L4Re operating system.☆88Updated last week
- L4Ka::Pistachio micro-kernel☆282Updated 5 years ago
- Microkit - A simple operating system framework for the seL4 microkernel☆124Updated 3 weeks ago
- aarch64 bare metal test on qemu☆103Updated 10 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆55Updated 3 weeks ago
- ☆59Updated 3 weeks ago
- ☆106Updated 6 years ago
- NOVA Microhypervisor☆401Updated last month
- A L4-like micro-kernel OS written in Rust☆63Updated last year
- A component-based OS☆189Updated 4 months ago
- LAI is an interpreter for AML, the ACPI Machine Language.☆186Updated last year
- OS support for 64 bit ARM architecture☆51Updated 6 years ago
- Raspberry Pi bare metal code for qemu raspi2 and raspi3.☆54Updated 3 years ago
- Codezero Microkernel☆108Updated 3 years ago
- Hello RISC-V 64!☆17Updated 7 years ago
- Operating System☆133Updated 3 years ago
- Virtual machine monitor for L4Re☆31Updated last week
- Xvisor: eXtensible Versatile hypervISOR☆88Updated last month
- A 64-bit SMP-safe kernel for the PC architecture.☆87Updated 7 years ago
- A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.☆28Updated last year
- A selection of ANSI C benchmarks and programs useful as benchmarks☆85Updated 10 months ago
- Operating system project☆33Updated last month
- LeOS operating system Kernel for AArch64 written in Rust☆81Updated 4 years ago
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆180Updated this week
- Port of MIT's xv6 OS to the Nezha RISC-V board with Allwinner D1 SoC☆104Updated 2 years ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆197Updated last year
- Mirror of the official Barrelfish OS repository.☆206Updated 2 years ago
- Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V☆71Updated 2 months ago
- Unofficial mirror of sourceware newlib repository. Updated daily.☆272Updated this week
- The barebox bootloader - Mirror of ssh://public@git.pengutronix.de/barebox☆221Updated this week