kontais / EFI-MIPSLinks
UEFI, on Loongson.
☆14Updated 8 years ago
Alternatives and similar repositories for EFI-MIPS
Users that are interested in EFI-MIPS are comparing it to the libraries listed below
Sorting:
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- ☆31Updated 3 weeks ago
- Lemote PMON2000 boot loader.☆17Updated 11 years ago
- Two stage x86 boot loader and preliminary kernel code which are combined into single binary file to be flashed to PCI expansion card with…☆35Updated 8 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- EDK II LKL Filesystem Driver☆13Updated 8 years ago
- Mirror of git.qemu.org/sgabios.git☆19Updated 3 years ago
- Docker container for building EDK2 UEFI Open Source reference implementation☆15Updated 7 months ago
- My tinycc fork: hopefully, better OSX support, EFI targets, and ???☆34Updated 7 years ago
- ☆33Updated 10 months ago
- ☆29Updated 9 years ago
- Bare metal game using EDK2.☆12Updated 2 years ago
- GRUB source tree for Loongson (MIPS64-EFI)☆16Updated 3 years ago
- Verilog code of Loongson's GS132 core☆12Updated 5 years ago
- A simple UEFI bootloader written in C++17 that does not need any third-party support code like Tianocore EDK or gnu-efi; only needs a han…☆20Updated 2 years ago
- EDK II EFIDroidUi☆12Updated 7 years ago
- tiny embedded MIPS virtualization platform - a very small and lean hypervisor using MIPS R5 hardware VZ option for embedded systems (IoT …☆19Updated last year
- Open Hardware SPI programmer based on FTDI FT232H☆23Updated 12 years ago
- UEFI boot loader☆79Updated 2 years ago
- framework for a simple user space for lk☆23Updated 3 years ago
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆20Updated 9 years ago
- framework to simplify UEFI development with TianoCore EDK2☆18Updated 7 years ago
- Open Source EDK2 GDB Server☆13Updated 6 years ago
- a screen snapshot application under UEFI☆10Updated 11 years ago
- Allwinner SoCs' 64-bit EL2 barebone☆17Updated 2 years ago
- Basic tools for building seL4 projects☆48Updated this week
- UEFI application package☆29Updated 9 years ago
- ☆69Updated last year
- Miscellaneous documents☆41Updated 3 months ago
- An embedded operating system kernel☆15Updated 7 years ago