Hi, You need to use our cross-compiler. Run 'make crossgcc' in the coreboot directory and you will get our reference toolchain compiled. Then run 'make' once again and everything should compile. I will try to fix the doc if this is missing from there. Cristi