Subversion Repositories HelenOS

Compare Revisions

Ignore whitespace Rev 2226 → Rev 2227

/trunk/kernel/arch/ia32xen/src/ia32xen.c
211,5 → 211,11
{
}
 
void arch_reboot(void)
{
// TODO
while (1);
}
 
/** @}
*/