Axel Heider
Software Engineer at seL4 Foundation
Bavaria, Germany
Summary
🤩
Rockstar🎓
Top SchoolAxel Heider is a software engineer with 11 years of focused experience building secure, low-level systems and trusted execution environments, currently contributing to Codasip and the seL4 Foundation from Bavaria, Germany. He has deep expertise in microkernels, OS internals, and RISC-V/ARM platforms—work that spans commercial TEEs deployed on billions of devices to adding platform support and I/O improvements in the seL4 microkernel. His background includes end-to-end system work from smartcard firmware and drivers to full TCP/IP stacks and secure SoC integration at HENSOLDT Cyber. Axel combines hands-on kernel development with pragmatic tooling and build-system fixes, reflecting a penchant for understanding how hardware and software actually work together. Colleagues rely on him for quietly durable, security-minded engineering that powers real-world devices.
11 years of coding experience
24 years of employment as a software developer
Technische Universität München
German, English
Stackoverflow
567reputation
499kreached
22answers
1question
Github Skills (21)
cmake10
c1110
microkernel10
c1710
operating-system10
architecture9
sys9
architectures9
arm9
embedded9
build-tools8
build-system8
shell6
absolute-path6
closures6
Programming languages (20)
Github contributions (5)
seL4/seL4
Sep 2018 - Mar 2022
The seL4 microkernel
Role in this project:
Back-end Developer
Back-end DeveloperContributions:616 reviews, 204 commits, 300 PRs in 3 years 6 months
Contributions summary:Axel primarily contributed to the core functionality of the seL4 microkernel. Their work included adding support for new platforms such as the Ultra96, which involved modifying configuration files and platform-specific device definitions. They also addressed missing include statements and fixed minor issues related to code formatting and build helper functions within the CMake build system. Furthermore, the user made improvements to the kernel's I/O handling, and its printing API, and worked on various other trivial code style issues.
microkernelsel4-microkernelsel4os
axel-h/opensbi
Jun 2021 - May 2024
RISC-V Open Source Supervisor Binary Interface
Contributions:1 PR, 34 pushes, 5 branches in 2 years 11 months
risc-vriscvriscsupervisor
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.