In addition to the Linux kernel, David is a contributor to the GCC, GNU Binutils and GDB projects. Prior to his current position, he designed and wrote software for Linux based digital television sets and set-top boxes.