andreiw / tinyccLinks
My tinycc fork: hopefully, better OSX support, EFI targets, and ???
☆34Updated 7 years ago
Alternatives and similar repositories for tinycc
Users that are interested in tinycc are comparing it to the libraries listed below
Sorting:
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- An EFI Byte Code (EBC) assembler, based on fasmg☆44Updated 2 years ago
- UEFI, on Loongson.☆14Updated 8 years ago
- framework to simplify UEFI development with TianoCore EDK2☆18Updated 7 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
- A simple Hello World for x86_64 UEFI using fasmg☆26Updated 8 years ago
- nebulae kernel - stage 0 uefi barebones☆35Updated last year
- EDK II LKL Filesystem Driver☆13Updated 8 years ago
- UEFI boot loader☆79Updated 2 years ago
- K42 Kernel☆27Updated 13 years ago
- MUSL libc port for UEFI☆11Updated 7 years ago
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆60Updated 3 years ago
- Bare metal game using EDK2.☆12Updated 2 years ago
- A minimal 64-bit operating system for x86-64☆9Updated last year
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- Sled System Emulator☆28Updated last month
- Universal BIOS Recovery console for x86 PCs☆46Updated last year
- Multi-architecture hobby operating system created in C☆16Updated last month
- UEFI app to load ELF and Raw binary☆29Updated 10 years ago
- Implement a game by UEFI☆34Updated 6 years ago
- ☆31Updated last month
- ☆19Updated 9 years ago
- NOVA userland☆48Updated 11 years ago
- Basic tools for building seL4 projects☆48Updated this week
- Libelf is a simple library to read ELF files.☆51Updated 3 years ago
- An exokernel for the raspberry pi 3.☆80Updated 3 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Updated 3 years ago
- Samples of UEFI SmartCardReader API☆12Updated 2 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
- UEFI Reference Specification Protocol Constants and Definitions☆40Updated 6 years ago