Prajna / machLinks
Mach 3
☆52Updated 13 years ago
Alternatives and similar repositories for mach
Users that are interested in mach are comparing it to the libraries listed below
Sorting:
- OpenMach operating system☆97Updated 10 years ago
- The core components of the L4Re operating system.☆92Updated 2 weeks ago
- UEFI app to load ELF and Raw binary☆30Updated 10 years ago
- A 64-bit SMP-safe kernel for the PC architecture.☆87Updated 7 years ago
- The development version of the L4Re Microkernel☆138Updated 2 weeks ago
- The last official OpenSolaris code with pNFS☆67Updated 10 years ago
- Tiny ELF loader☆135Updated 2 years ago
- Operating system project☆33Updated 3 months ago
- Build UEFI applications with the Clang compiler and LLD linker.☆61Updated last year
- Mirror of git.qemu.org/seabios.git☆68Updated last month
- Operating System☆132Updated 3 years ago
- Modular kernel built for simplicity☆92Updated 8 years ago
- L4Ka::Pistachio micro-kernel☆286Updated 5 years ago
- A hobby operating system for x86_64, boots with UEFI.☆70Updated 11 months ago
- my homebrew OS☆33Updated 4 years ago
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- ☆59Updated last week
- Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V☆71Updated 3 months ago
- Rainbow OS☆58Updated last week
- My gnu-efi development tree.☆71Updated 5 months ago
- Hello RISC-V 64!☆17Updated 7 years ago
- Very minimalistic UEFI boot menu / kernel bootloader☆31Updated last month
- Portable C Compiler sources☆113Updated last year
- __udivdi3(), __divdi3(), __umoddi3(), __moddi3(), etc. for embedded GCC☆41Updated last year
- ARM64 version of Simple UEFI Bootloader☆27Updated 6 years ago
- A UEFI bootloader for bare-metal x86-64 applications☆52Updated 2 years ago
- UEFI boot loader☆80Updated 2 years ago
- xv6 ported to x86_64.☆10Updated 4 years ago
- Moved to codeberg: https://codeberg.org/osdev/nyu-efi☆31Updated 4 months ago
- Tiny Operating System supporting: SVGA gui, Grub bootloader, network subsystem, CDROM drivers.☆34Updated 12 years ago