I do stuff. Mostly interested in low level things. Some notable ones:
- Open source firmware for Raspberry Pi's VPU (VideoCore4): https://github.com/christinaa/rpi-open-firmware
- Writing an LLVM backend for VideoCore4: https://github.com/christinaa/LLVM-VideoCore4
- Porting XNU/Darwin to various ARMv7 boards (for example, the OMAP3 base BeagleBoard)
- Implementing a Mach-like IPC system inside the Linux kernel