Merge branch 'devel'

[palacios.git] / kitten / include / arch-x86_64 / boot.h

diff --git a/kitten/include/arch-x86_64/boot.h b/kitten/include/arch-x86_64/boot.h
new file mode 100644 (file)
index 0000000..f9a2f29
--- /dev/null
+++ b/kitten/include/arch-x86_64/boot.h
@@ -0,0 +1,10 @@
+#ifndef _ARCH_BOOT_H
+#define _ARCH_BOOT_H
+
+/* Don't touch these, unless you really know what you're doing. */
+#define DEF_INITSEG    0x9000
+#define DEF_SYSSEG     0x1000
+#define DEF_SETUPSEG   0x9020
+#define DEF_SYSSIZE    0x7F00
+
+#endif