Hey , I'm Akif Ejaz

Sr. Engineer at 10xEngineers, working on RISC-V software enablement
Official Committer at the Eclipse Foundation, maintaining the RV64 & RV32 ports of Eclipse ThreadX
Official Maintainer at the seL4 Foundation, maintaining Banana Pi BPI-F3 (SpacemiT K1) board support in the seL4 Microkernel
Contributor to the Linux Kernel, with the spi: cadence-quadspi patch merged in v6.20
Developer Eclipse Foundation backedup project ATESOR, an agentic AI system for autonomous RISC-V software porting
Developer & maintainer of Cloud-V, a RISC-V CI platform (get a free RISC-V machine here)
Wrote firmware for RISC-V real hardware: Banana Pi BPI-F3, Milk-V Jupiter, StarFive VisionFive 2
Built a RISC-V hardware benchmark platform (see here)
Write to teach, technical articles on Linux, Systems & AI

_{Upstream work across ThreadX, seL4 & the Linux kernel}	_{Technical articles on Linux, Systems & AI}	_{Papers, thesis & conference talks}
_{Full experience, projects & contribution log}	_{RISC-V CI platform with free machines, 120+ users}	_{Agentic AI for autonomous RISC-V software porting}