Chris Guikema
Embedded Engineer at DornerWorks Ltd.
Michigan, United States
Summary
👤
Senior🎓
Top SchoolChris Guikema is an embedded systems engineer with nine years’ experience building secure, production-ready platforms at DornerWorks, specializing in the seL4 microkernel and separation/virtualization technologies. He has practical hands-on expertise porting and extending seL4—including adding 64-bit RISC-V support, platform-specific build options, timers, and memory-ordering fixes—and has delivered VM systems and virtual device interfaces on ARMv8 and Zynq/RISC-V hardware. His background in electrical engineering and earlier work on wireless power transfer products gives him a hardware-aware perspective that informs low-level debugging and systems design. Chris also develops training materials to lower the seL4 learning curve and has presented on embedded GDB server implementations, showing a knack for translating complex formal properties into usable engineering practices. Based in Michigan, he combines formal-kernel experience with practical embedded networking and virtualization work, making him a strong bridge between research-grade kernels and real-world product needs.
9 years of coding experience
2 years of employment as a software developer
Bachelor of Science (B.S.), Electrical and Electronics Engineering, Bachelor of Science (B.S.), Electrical and Electronics Engineering at Grand Valley State University
Github Skills (12)
risc-v10
embedded10
sys10
microkernel10
sel410
integrations9
hardware-interface9
operating-system9
system-integration9
cmake9
arm8
zynqmp8
Programming languages (6)
Github contributions (5)
seL4/seL4
Jul 2018 - Oct 2022
The seL4 microkernel
Role in this project:
Embedded Systems Engineer / IoT Developer
Embedded Systems Engineer / IoT DeveloperContributions:23 reviews, 19 commits, 14 PRs in 4 years 3 months
Contributions summary:Chris primarily contributed to the RISC-V architecture support within the seL4 microkernel. Their work involved adding build options for specific hardware platforms like RocketChip and Hi-Five Freedom Unleashed, alongside integrating timer functionality and optimizing memory management. They also addressed critical issues, such as memory ordering issues in the context of address space switching, and provided enhancements to the platform's infrastructure.
microkernelsel4-microkernelsel4os
chrisguikema/camkes-vm
Aug 2021 - Jan 2024
Virtual Machine build as a CAmkES component.
Contributions:62 pushes, 32 branches in 2 years 5 months
camkesvirtual-machine
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.