CatalinĀ Marinas
Linux Kernel Lead & Fellow at ARM
Greater Cambridge Area United Kingdom
Summary
š¤
Seniorš
Top SchoolCatalin Marinas is a seasoned Linux kernel leader with 26 years of experience, currently serving as Linux Kernel Lead & Fellow at ARM and maintainer of the arm64 Linux port. His deep expertise spans ARM architecture, low-level C, kmemleak debugging, and formal modeling with TLA+, blending rigorous correctness thinking with production kernel development. He authored StGit and contributes to kernel infrastructure and device drivers, including practical fixes for IRQ polarity, SMP safety, and ARMv7 issues in open-source projects. Based in the Greater Cambridge Area, he brings a military-technical engineering background (B.Eng Electronics) to large-scale, safety- and performance-critical systems. Colleagues rely on him for both strategic kernel direction and hands-on problem solving across architectures. An often-overlooked strength is his sustained focus on tooling and memory-leak hygiene that improves long-term codebase reliability.
26 years of coding experience
B.Eng, Electronics, B.Eng, Electronics at Military Technical Academy
Github Skills (21)
debugging10
debug10
system-programming10
architecture10
memory-management10
c1110
linux-kernel10
c1710
kernel10
driver10
arm10
architectures10
smp9
signal-handling9
interrupt-handling9
Programming languages (5)
Github contributions (5)
jonsmirl/mpc5200
Jun 2005 - May 2011
Digispeaker
Role in this project:
Back-end Developer
Back-end DeveloperContributions:347 commits in 6 years
Contributions summary:Catalin primarily contributed to the network driver (smc911x) code within the Digispeaker repository. Their work focused on implementing IRQ polarity configuration, making the driver safer for SMP, and fixing issues related to exception handling and ARMv7 architecture. The user also made several contributions to fix compiler issues, along with adding support for features related to ARM processors.
terinjokes/stgit
Jul 2005 - Sep 2013
Contributions:524 commits in 8 years 4 months
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.