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