Gregory Nutt 2ede6c43a7 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

More separation of debug symbols and optimization selections

2013-12-20 12:36:02 -06:00

setenv.sh

…