# # RTEMS 4.10 # # # The RTEMS build instructions. We use 4.xx Release 1. # %include tools/rtems-kernel-4-1.cfg