Before that, he was a Linux kernel developer at Broadcom, where he made a handful of contributions to the Linux kernel, including the Broadcom STB GPIO controller driver, and also maintained the stbgcc cross-compiler toolchain and the kernel and rootfs for the 40nm BMIPS processor.