Gregory Nutt d1ab9c2e0a Remove the configs/ directory		2015-06-29 13:12:29 -06:00
..
gnu-elf.ld
kernel-space.ld
ld.script
memory.ld
user-space.ld