Gregory Nutt 7467329a98 Eliminate CONFIG_NO_NOINTS. Lots of files changed -> lots of testing needed.		2016-12-03 16:28:19 -06:00
..
defconfig	Eliminate CONFIG_NO_NOINTS. Lots of files changed -> lots of testing needed.	2016-12-03 16:28:19 -06:00
Make.defs
setenv.sh