Rev 2131 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
void after_thread_ran_arch(void)
{
/* TODO */
}
void arch_reboot(void)
// TODO
while (1);
/** @}
*/