Pedro Falcato
Kernel Generalist at SUSE
Lisbon, Lisbon, Portugal
Summary
🤩
Rockstar🎓
Top SchoolPedro Falcato is a kernel generalist with a decade of hands-on experience building operating systems and low-level firmware, and has been developing a full-featured POSIX OS since 2015. Based in Lisbon, he contributes upstream to Tianocore/EDK II (including an EXT4 UEFI driver used by firmware vendors) and has improved core firmware primitives like CRC implementations, CPUID checks, and SATA modules. His background blends embedded/kernel work across projects such as LK and Cloudflare Workers tracing, demonstrating both hardware-facing firmware expertise and systems-level observability. Now at SUSE, he focuses on robust, reliable kernel engineering, and he’s an active participant on the UEFI TianoCore mailing list—an indicator of influence beyond code.
10 years of coding experience
Bachelor's degree, Computer Science, Bachelor's degree, Computer Science at Faculdade de Ciências da Universidade de Lisboa
Portuguese, English
Github Skills (23)
uefi10
algorithms10
firmware10
c1110
data-structure10
c1710
rtos10
sys10
data-structures10
embedded10
operating-system10
assembly9
c-language9
algorithm9
pci9
Programming languages (8)
Github contributions (5)
tianocore/edk2-platforms
Aug 2021 - Jan 2023
EDK II sample platform branches and tags
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1 review, 19 commits, 1 PR in 1 year 5 months
Contributions summary:Pedro primarily contributed to the development of an EXT4 filesystem driver within the EDK II environment. Their work includes implementing core functionalities such as an EXT4 filesystem driver, directory entry handling, and support for ext2/3 filesystems. They also focused on improving the driver's reliability and functionality through fixes for incorrect usage, handling of uninitialized extents, and better UTF-8 character set handling.
branchestags
tianocore/edk2
Apr 2022 - Dec 2022
EDK II
Role in this project:Embedded Systems Engineer / Firmware Developer
Embedded Systems Engineer / Firmware DeveloperContributions:5 reviews, 3 commits, 1 PR in 8 months
Contributions summary:Pedro primarily contributed to the EDK2 (EDK II) firmware repository, focusing on low-level system and hardware-related tasks. Their work involved implementing checksum algorithms (CRC16-ANSI and CRC32c), fixing out-of-bounds memory access issues in string handling, and refining the SataControllerDxe module. The user also added a smoketest for RDRAND and improved CPUID checks, demonstrating a focus on improving system reliability.
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.