Gregory Nutt a6f595e89e Remove more duplicate Make.defs files		2017-07-11 09:15:29 -06:00
..
kernel-space.ld	Merge in configs/ submodule	2016-04-10 07:57:59 -06:00
ld.script	Merge in configs/ submodule	2016-04-10 07:57:59 -06:00
Make.defs	Remove more duplicate Make.defs files	2017-07-11 09:15:29 -06:00
memory.ld	Remove the configs/ directory	2015-06-29 13:12:29 -06:00
user-space.ld	Update protected build logic for all platforms that supported the protected build. This is necessary due to changes in the definition of the userspace interface	2015-07-10 08:35:36 -06:00