andreiw / tinycc
My tinycc fork: hopefully, better OSX support, EFI targets, and ???
☆31Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for tinycc
- Simple (green) threads for UEFI☆23Updated 7 years ago
- uefi app/bootloader development sandbox☆15Updated 8 years ago
- UEFI, on Loongson.☆13Updated 8 years ago
- EFI Byte Code Virtual Machine in userspace☆77Updated last year
- Bare metal game using EDK2.☆12Updated last year
- framework to simplify UEFI development with TianoCore EDK2☆18Updated 6 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…☆33Updated 7 years ago
- A simple Hello World for x86_64 UEFI using fasmg☆23Updated 8 years ago
- An EFI Byte Code (EBC) assembler, based on fasmg☆42Updated last year
- Samples of UEFI SmartCardReader API☆13Updated 2 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆22Updated 2 years ago
- MUSL libc port for UEFI☆11Updated 7 years ago
- EDK II LKL Filesystem Driver☆13Updated 7 years ago
- Various UEFI utilities built against UDK2015☆38Updated 7 years ago
- nebulae kernel - stage 0 uefi barebones☆34Updated 10 months ago
- UEFI application package☆29Updated 8 years ago
- NOVA userland☆48Updated 10 years ago
- Universal BIOS Recovery console for x86 PCs☆41Updated 5 months ago
- ☆17Updated 8 years ago
- Command line tool to write to x86 boot flash chips via the PCH☆12Updated 7 years ago
- UEFI boot loader☆78Updated 2 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆20Updated 12 years ago
- Implement a game by UEFI☆34Updated 6 years ago
- My gnu-efi development tree.☆71Updated 3 months ago
- Support UEFI load☆10Updated 9 years ago
- K42 Kernel☆24Updated 12 years ago
- ☆19Updated 9 years ago
- ☆29Updated 6 months ago
- Scan USB host controllers and connections under UEFI☆9Updated 6 years ago