# # Config file for RASPBERRYPI # include $(RTEMS_ROOT)/make/custom/raspberrypi.inc CPU_CFLAGS = -mcpu=arm1176jzf-s