Patrick Georgi designed and implemented the Forth system that provides the base for OpenBIOS. He also worked (as part of GSoC 2007, and later) on GRUB2-for-coreboot, as well as a variety of coreboot topics.