Jesse Millwood
Senior Embedded Engineer at Timesys LLC
Royal Oak, Michigan, United States
Summary
👤
Senior🎓
Top SchoolJesse Millwood is a Senior Embedded Engineer with 11 years of experience building flight and embedded software for space and aerospace systems, currently working on the OSAM satellite refueling mission for NASA Goddard. He has deep low-level expertise across VxWorks, cFE, RTEMS, PowerPC, Cortex-R5, and RISC-V toolchains, and has written bootloaders, platform support packages, and hardware adapter interfaces for LiDAR and SpaceWire devices. His work on seL4 includes RISC-V architecture ports, two-level page tables, and ARM GIC500 interrupt support, reflecting strong upstream open-source contributions to a widely respected microkernel. Jesse has set up CI/CD and cross-toolchain environments for flight teams, debugged and patched Musl/GCC/Rust toolchains, and delivered seL4 training and ports for high-assurance platforms. Based in Royal Oak, Michigan, he combines hands-on hardware bring-up with systems-level analysis such as bandwidth and unit-test strategies for mission-critical software. Colleagues rely on him for pragmatic solutions that bridge secure kernels, Linux guests, and constrained embedded platforms.
11 years of coding experience
11 years of employment as a software developer
Bachelor of Science in Engineering Electrical and Electronics Engineering, Bachelor of Science in Engineering Electrical and Electronics Engineering at Grand Valley State UniversityHigh School Diploma, High School Diploma at Grand Blanc High School
Github Skills (7)
risc-v10
embedded10
sys10
microkernel10
sel410
macos8
osdev8
Programming languages (21)
Github contributions (5)
seL4/seL4
Mar 2018 - Jan 2021
The seL4 microkernel
Role in this project:
Embedded Systems Engineer / IoT Developer
Embedded Systems Engineer / IoT DeveloperContributions:6 reviews, 12 commits, 2 PRs in 2 years 10 months
Contributions summary:Jesse contributed to the seL4 microkernel, focusing on RISC-V architecture-specific modifications. Their work included adapting the kernel for the Rocket-chip platform with limited memory, implementing helper functions for page table entries, and creating a two-level page table for kernel mapping. They also added support for the ARM GIC 500 and made related changes to the interrupt handler structure.
microkernelsel4sel4-microkernelos
Jesse-Millwood/dots
Nov 2019 - Jul 2025
Contributions:111 pushes, 1 branch in 5 years 9 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.