Gregory Nutt 5da82577d7 Refresh configuration

2015-05-12 17:56:34 -06:00

..

defconfig

Refresh configuration

2015-05-12 17:56:34 -06:00

Make.defs

…

setenv.sh

…