hi, I'm Kenneth.

I find bugs and chase sunsets.

Firmware and systems security engineer. Most of my time is in EL3, the highest privilege level on Arm processors, finding the bugs that only show up after you've been staring at the architecture long enough.

I also build things. Right now that's VAR, a runtime for AI agents that makes what they do verifiable at the hardware layer.