Interlock's board firmware This repo contains baremetal firmware for Interlock's board from the Power Electronics Groups (ELP). This uses the part TM4C129ENCPDT from Texas Instruments.