* CPU Features
*/
#define CONFIG_SYS_SC520_HIGH_SPEED 0 /* 100 or 133MHz */
-#define CONFIG_SYS_RESET_GENERIC /* use triple-fault to reset cpu */
#undef CONFIG_SYS_RESET_SC520 /* use SC520 MMCR's to reset cpu */
#define CONFIG_SYS_TIMER_SC520 /* use SC520 swtimers */
#undef CONFIG_SYS_TIMER_GENERIC /* use the i8254 PIT timers */