Back to Programs

Operating systems

TianoCore

Modern, open source, UEFI BIOS firmware

cgopythonrustuefi

Participation history

2 GSoC years

2022

3 projects

Official year page

Add Rust Support for building UEFI Applications and Modules

This project aims to add UEFI support to Rust to allow building applications and modules for edk2 and UEFI in general. This will entail achieving the...

Add QEMU support to MinPlatform (OpenQEMUBoardPkg)

The goal is to support a fully emulated UEFI environnement in QEMU using the MinPlatform specification. Deliverables would correspond to the...

Minimum Platform - Implement support for S3 resume and closed-chassis HDMI debug

MinPlatform is a project to get open-source EDK2 firmware booting mainstream boards. However, it presently lacks support for S3 resume, an important...

2021

5 projects

Official year page

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...

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...

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...

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...

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...