Anna Lyons
Kernel Engineer at Apple
Sydney, New South Wales, Australia
Summary
🤩
Rockstar🎓
Top SchoolAnna Lyons is a kernel engineer with 11 years of systems-focused experience, currently working on Apple's secure kernel team in Sydney. She has deep hands-on expertise in microkernel design and low-level memory management, and has made notable contributions to the widely used seL4 microkernel—improving build systems, system call interfaces, and architecture compatibility. Her background spans research and industry roles at CSIRO's Data61, Ghost, and NICTA, grounded in a PhD from UNSW, blending academic rigor with production-grade engineering. Colleagues know her for pragmatic problem-solving across toolchains and hardware targets, and for enjoying the niche craft of secure microkernel work that most engineers never see up close.
12 years of coding experience
10 years of employment as a software developer
BSci/BA, BSci/BA at University of New South WalesHSC, HSC at Wauchope High SchoolUNSW Sydney
Swedish, English
Stackoverflow
238reputation
3kreached
3answers
0questions
Github Skills (18)
assembly10
c-programming10
kernel10
system-calls10
kernel-mode10
assembler10
arm10
operating-system10
build-system9
cmake9
concurrency8
memory-management8
fuchsia6
minix6
sel46
Programming languages (10)
Github contributions (5)
seL4/seL4
Jul 2014 - Jun 2019
The seL4 microkernel
Role in this project:
Back-end Developer
Back-end DeveloperContributions:10 releases, 97 reviews, 1105 commits in 4 years 11 months
Contributions summary:Anna primarily contributed to the seL4 microkernel project through modifications to build scripts, system calls, and low-level memory management. They modified the compilation process to include conditional compilation and correct build settings. The user also adjusted the system call interfaces by introducing new system calls, and adapting other functionality for modern hardware. Their work improved the overall functionality and ensured the project's compatibility with various architectures.
microkernelsel4sel4-microkernelos
seL4/sel4test
Oct 2014 - Mar 2019
Test suite for seL4.
Contributions:1 review, 275 commits, 3 PRs in 4 years 5 months
sel4
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.