Go to file
2014-07-21 18:44:19 -06:00
configs 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