Gregory Nutt 316fde135c Build System: It is no longer necessary to have a unique Make.defs file for each configuration. A board may share a common Make.defs file in the scripts directory.		2017-07-10 17:00:54 -06:00
..
flash-dtcm.ld
flash-sram.ld
gnu-elf.ld
kernel-space.ld
Make.defs	Build System: It is no longer necessary to have a unique Make.defs file for each configuration. A board may share a common Make.defs file in the scripts directory.	2017-07-10 17:00:54 -06:00
memory.ld
user-space.ld