TianoCore

Modern, open source, UEFI BIOS firmware

Technologies

c
python
rust
golang
uefi

Topics

firmware
uefi
bootloader
edk2
open system firmware
acpi
BIOS
https://www.tianocore.org/
Mailing List / Forum
Twitter

Projects

Contributor

Pedro Falcato

EXT4 Filesystem driver

This project proposes the implementation of an ext4 driver in Tianocore. EXT4 is widely recognized as a de-facto standard filesystem for modern Linux...

View project detailsView code

Contributor

Benjamin Doron

Minimum Platform Board Port - Acer Aspire VN7-572G

MinPlatform is a project to get open-source EDK2 firmware booting mainstream boards. However, other than the Intel RVP development boards, presently...

View project detailsView code

Contributor

Marvin Häuser

Integration of a PE/COFF loader designed with formal methods

Security best practices are of utmost importance on all layers if a system is to be considered secure. Unfortunately, during my internship at ISP RAS...

View project detailsView code

Contributor

yuqi (alyssa) chen

proposal for Enable Clang/LLVM Build for Microsoft Windows

On Windows, using the Clang toolchain still depends on Visual Studio. This proposal is to fix these two dependencies: a. BaseTools contains C...

View project detailsView code

Contributor

Pokemod97

Terminal Driver Improvements

Fix bugs in the terminal driver to ensure that each terminal type is using the best character set for their usecase. Fix it so OVMF and MinPlatform...

View project detailsView code