I work on Redox at night and on weekends. I try to write software that can be used in both places.
For example, the graphics library orbclient was used in the firmware updater, and the UEFI library from the firmware updater may be used for a Redox UEFI bootloader.