Gregory Nutt b3731ca5ca Modify board_power_off() so that is is called only via boardctl()		2015-07-02 17:09:16 -06:00
..
defconfig	Modify board_power_off() so that is is called only via boardctl()	2015-07-02 17:09:16 -06:00
Make.defs	More trailing whilespace removal	2014-04-13 16:22:22 -06:00
setenv.sh	Fix references to the no-longer-existent misc/ directory in comments, README files, and documentation	2015-06-28 08:08:57 -06:00