richard, here is a known-good config file for the digital logic smartcore-p3, a known-good platform. Just try building with this and see how the errors work out :-)
Also what mainboard are you using?
ron
target smartcore-p3
mainboard digitallogic/smartcore-p3
# Enable Serial Console for debugging option SERIAL_CONSOLE=1 option NO_KEYBOARD=1 option INBUF_COPY=1 option DEFAULT_CONSOLE_LOGLEVEL=8 option MAXIMUM_CONSOLE_LOGLEVEL=8 option DEBUG=1 option USE_GENERIC_ROM=1
# MEMORY TESTING USING MEMTEST option USE_ELF_BOOT=1 option RAMTEST=0 option CONFIG_COMPRESS=0 #payload ../eepro100-5.07.ebi #payload ../memtest86.ebi #payload ../82559er.ebi payload ../memtest