Re: [coreboot] Baremetal bootloader project