Pierre Gondois
Software Engineer (linux Kernel Uefi) at Arm
Cannes, Provence-Alpes-Côte d'Azur, France
Summary
🤩
Rockstar🎓
Top SchoolPierre Gondois is a software engineer based in Cannes with seven years of experience specializing in Linux kernel and UEFI/EDK2 firmware development. At Arm he has combined low-level systems work—creating an AML decompiler and kernel/UEFI features—with LLVM tooling to improve OpenCL built-in handling. His open-source contributions to the widely used tianocore/edk2 ecosystem include ACPI updates, GTDT and LPI support, and careful C code hardening to meet EDK II standards. Trained in physics, electronics and embedded software, he brings rigorous problem-solving and attention to memory- and compliance-sensitive code paths. Notably, he blends tooling and runtime patching approaches, enabling both compile-time and on-the-fly firmware modifications.
7 years of coding experience
2 years of employment as a software developer
Physics, mathematics, chemistry, Physics, mathematics, chemistry at CPGE Lycée ThiersBachelor of Science - BS, Physics, Electronics, Bachelor of Science - BS, Physics, Electronics at Grenoble INP - PhelmaBachelor of Engineering - BE, Embedded Software, Bachelor of Engineering - BE, Embedded Software at Grenoble INP - Ensimag
German, English, French
Github Skills (11)
c1710
firmware10
embedded10
c-programming10
edk210
c1110
sys10
acpi10
device-tree8
pow8
powersaving8
Programming languages (4)
Github contributions (5)
tianocore/edk2-platforms
Jul 2020 - Dec 2022
EDK II sample platform branches and tags
Role in this project:
Embedded Systems Engineer / IoT Developer
Embedded Systems Engineer / IoT DeveloperContributions:1 review, 27 commits, 7 PRs in 2 years 4 months
Contributions summary:Pierre primarily addressed issues related to the EDK2 (EDK II sample platform branches and tags) repository. Their contributions involved modifying C code to avoid void* pointer arithmetic, a common issue in C programming when dealing with memory addresses. The user also merged directories and fixed several ECC errors, ensuring the code complied with EDK II coding standards, and made updates to reflect the BootDiscoveryPolicy.
branchestags
tianocore/edk2
Mar 2019 - Nov 2022
EDK II
Role in this project:Embedded Systems Engineer / IoT Developer
Embedded Systems Engineer / IoT DeveloperContributions:115 reviews, 250 commits, 167 PRs in 3 years 8 months
Contributions summary:Pierre contributed to the EDK II firmware repository, focusing on updates related to the Advanced Configuration and Power Interface (ACPI). The commits involved adding support for ARMv8.1 virtual EL2 timers within the ShellPkg/acpiview code and updating the GTDT parser for ACPI 6.3. Further, the user worked on enabling the Low Power Idle (LPI) states, generating a Secondary System Description Table (SSDT) for a serial port. They also corrected multiple spelling and wording issues within the codebase.
uefipythonfirmwarec
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.