Rev 2110 | Rev 2519 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
#ifdef SKI
ski_kbd_release();
#endif
}
void arch_reboot(void)
{
// TODO
while (1);
/** @}
*/