diff --git a/debian/config/amd64/xen/config b/debian/config/amd64/xen/config
index 8ce377fee..0223e0fd1 100644
--- a/debian/config/amd64/xen/config
+++ b/debian/config/amd64/xen/config
@@ -1 +1,15 @@
 CONFIG_X86_64_XEN=y
+
+## options needed for initial pvops fedora domU support
+# CONFIG_SMP is not set
+# CONFIG_NUMA is not set
+# CONFIG_NEED_MULTIPLE_NODES is not set
+
+## x86_64 breaks with a different CONFIG_PHYSICAL_START, currently
+CONFIG_PHYSICAL_START=0x200000
+
+## x86_64 breaks with CONFIG_SPARSEMEM_VMEMMAP, currently
+# CONFIG_SPARSEMEM_VMEMMAP is not set
+
+## 32-bit emulation isn't ready yet
+# CONFIG_IA32_EMULATION is not set