X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Finclude%2Farch-x86_64%2Fboot.h;fp=kitten%2Finclude%2Farch-x86_64%2Fboot.h;h=f9a2f2990ff048c1d4855178eef385db3a9b1cd1;hb=66a1a4c7a9edcd7d8bc207aca093d694a6e6b5b2;hp=0000000000000000000000000000000000000000;hpb=f7cf9c19ecb0a589dd45ae0d2c91814bd3c2acc2;p=palacios.git

diff --git a/kitten/include/arch-x86_64/boot.h b/kitten/include/arch-x86_64/boot.h
new file mode 100644
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