Changeset f74bbaf in mainline for kernel/arch/ia32xen/src/ia32xen.c

Timestamp:

2007-04-09T06:13:24Z (18 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

d0b1443

Parents:

261595b

Message:

start shutdown infrastructure

File:

• kernel/arch/ia32xen/src/ia32xen.c (modified) (1 diff)

kernel/arch/ia32xen/src/ia32xen.c

@@ -212 +212 @@
 }
 
+void arch_reboot(void)
+{
+        // TODO
+        while (1);
+}
+
 /** @}
  */