/**
* Handle a warm reboot.
*
* Called when the system wants to start over completely.
* Previously, we just called freewpc_init(), but this is not entirely
* correct. Interrupts need to be disabled during re-init, and we can
* set flags here to distinguish between cold/warm boot.
*/
__noreturn__ void warm_reboot (void)
{
#ifdef __m6809__
start ();
#else
disable_interrupts ();
freewpc_init ();
#endif
}
/** Called by the startup routine to begin the program.
* This maps to freewpc_init(). */
int main (void)
{
freewpc_init ();
return 0;
}
