Gregory Nutt 615c0ea7ee Change naming configs/ to boards in comments, Documentation, etc. Still a few more to go.		2019-08-05 07:13:48 -06:00
..
gnu-elf.ld
kernel-space.ld
ld.script
Make.defs
memory.ld
user-space.ld