# # Config file for LPC40XX OEM Board from Embedded Artists. # include $(RTEMS_ROOT)/make/custom/lpc40xx.inc