Stichting-MINIX-Research-Foundation / u-boot
The bootloader used for the ARM port - Automatically replicated from gerrit.minix3.org
☆18Updated 7 years ago
Alternatives and similar repositories for u-boot:
Users that are interested in u-boot are comparing it to the libraries listed below
- NetBSD reference version for MINIX - Automatically replicated from gerrit.minix3.org☆14Updated 3 years ago
- PKGSRC repository for MINIX - Automatically replicated from gerrit.minix3.org☆15Updated 7 years ago
- NetBSD Xorg reference version for MINIX - Automatically replicated from gerrit.minix3.org☆7Updated 7 years ago
- Mirror of git.qemu.org/openbios.git☆22Updated 7 months ago
- K42 Kernel☆27Updated 12 years ago
- Mirror of git.qemu.org/vgabios.git☆26Updated 8 years ago
- ☆27Updated 6 years ago
- ☆21Updated 12 years ago
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools☆33Updated last week
- L4Ka::Hazelnut micro-kernel☆33Updated 9 years ago
- UEFI boot loader☆79Updated 2 years ago
- Google Summer of Code projects☆12Updated 4 years ago
- Calcium OS project for x86_64☆40Updated 7 years ago
- Mirror of gitlab.com/qemu-project/u-boot.git☆62Updated this week
- Mirror of git.qemu.org/seabios.git☆63Updated 2 months ago
- Codezero Microkernel☆107Updated 3 years ago
- Mirror of git.qemu.org/sgabios.git☆19Updated 3 years ago
- uClibc mirror☆56Updated 3 months ago
- Portable C Compiler (CVS mirror)☆12Updated 13 years ago
- UEFI, on Loongson.☆14Updated 8 years ago
- Zircon Kernel, Core Drivers, and Services☆32Updated 5 years ago
- Open POSIX Test Suite branched for Emscripten.☆61Updated 3 years ago
- SYS/BIOS: kernel for Texas Instruments TI-RTOS☆11Updated 11 years ago
- The last official OpenSolaris code with pNFS☆64Updated 10 years ago
- Software and documentation, mostly from the 80s and 90s☆23Updated 10 years ago
- Virtio draft specification☆65Updated 11 years ago
- ☆40Updated 9 years ago
- XOCFE is an concise, clearly, C compiler frontend, it is easy to understand and modify. XOCFE's input is pure C, output is an AST tree.☆52Updated 2 months ago
- ☆33Updated this week
- RTOS based on L4 microkernel.☆16Updated 6 years ago