Linux Kernel Developer on OpenBMC Firmware