Release 1.0

[palacios.git] / geekos / include / geekos / reboot.h

diff --git a/geekos/include/geekos/reboot.h b/geekos/include/geekos/reboot.h
new file mode 100644 (file)
index 0000000..101b460
--- /dev/null
+++ b/geekos/include/geekos/reboot.h
@@ -0,0 +1,10 @@
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
+#ifndef REBOOT_H
+#define REBOOT_H
+
+void machine_real_restart();
+
+
+#endif