Gregory Nutt 1624e2fbcf Change CONFIG_ADDRENV to CONFIG_ARCH_ADDRENV; change how it is selected -- the architecure must first declare support		2014-08-24 06:42:11 -06:00
..
defconfig	Change CONFIG_ADDRENV to CONFIG_ARCH_ADDRENV; change how it is selected -- the architecure must first declare support	2014-08-24 06:42:11 -06:00
Make.defs
pcduino-140107.patch
setenv.sh