I had the same problem with compiling under Archlinux. I think gcc-8.1 is too new for coreboot (currently). Debian uses an older version of gcc and works fine. Below are a couple suggestions to try. * See if you can install and use gcc6 from the AUR * Install docker and then try using coreboot-sdk from docker hub