Gregory Nutt 09f846a56d Make sure that all sim configurations have CONFIG_SIM_M32 undefined. That is probably the wrong default setting, but we need to be consistent above all

2014-07-21 18:44:19 -06:00

..

defconfig

Make sure that all sim configurations have CONFIG_SIM_M32 undefined. That is probably the wrong default setting, but we need to be consistent above all

2014-07-21 18:44:19 -06:00

Make.defs

…

setenv.sh

…