diff --git a/usr.sbin/bhyve/acpi.c b/usr.sbin/bhyve/acpi.c
--- a/usr.sbin/bhyve/acpi.c
+++ b/usr.sbin/bhyve/acpi.c
@@ -133,6 +133,8 @@
 static int dsdt_indent_level;
 static int dsdt_error;
 
+static struct basl_table *xsdt;
+
 struct basl_fio {
 	int	fd;
 	FILE	*fp;
@@ -207,42 +209,6 @@
 	return (errno);
 }
 
-static int
-basl_fwrite_xsdt(FILE *fp)
-{
-	EFPRINTF(fp, "/*\n");
-	EFPRINTF(fp, " * bhyve XSDT template\n");
-	EFPRINTF(fp, " */\n");
-	EFPRINTF(fp, "[0004]\t\tSignature : \"XSDT\"\n");
-	EFPRINTF(fp, "[0004]\t\tTable Length : 00000000\n");
-	EFPRINTF(fp, "[0001]\t\tRevision : 01\n");
-	EFPRINTF(fp, "[0001]\t\tChecksum : 00\n");
-	EFPRINTF(fp, "[0006]\t\tOem ID : \"BHYVE \"\n");
-	EFPRINTF(fp, "[0008]\t\tOem Table ID : \"BVXSDT  \"\n");
-	EFPRINTF(fp, "[0004]\t\tOem Revision : 00000001\n");
-	/* iasl will fill in the compiler ID/revision fields */
-	EFPRINTF(fp, "[0004]\t\tAsl Compiler ID : \"xxxx\"\n");
-	EFPRINTF(fp, "[0004]\t\tAsl Compiler Revision : 00000000\n");
-	EFPRINTF(fp, "\n");
-
-	/* Add in pointers to the MADT, FADT and HPET */
-	EFPRINTF(fp, "[0004]\t\tACPI Table Address 0 : 00000000%08X\n",
-	    basl_acpi_base + MADT_OFFSET);
-	EFPRINTF(fp, "[0004]\t\tACPI Table Address 1 : 00000000%08X\n",
-	    basl_acpi_base + FADT_OFFSET);
-	EFPRINTF(fp, "[0004]\t\tACPI Table Address 2 : 00000000%08X\n",
-	    basl_acpi_base + HPET_OFFSET);
-	EFPRINTF(fp, "[0004]\t\tACPI Table Address 3 : 00000000%08X\n",
-	    basl_acpi_base + MCFG_OFFSET);
-
-	EFFLUSH(fp);
-
-	return (0);
-
-err_exit:
-	return (errno);
-}
-
 /*
  * Helper routines for writing to the DSDT from other modules.
  */
@@ -720,6 +686,9 @@
 	/* Hypervisor Vendor Identity */
 	BASL_EXEC(basl_table_append_int(fadt, 0, 8));
 
+	BASL_EXEC(basl_table_append_pointer(xsdt, ACPI_SIG_FADT,
+	    ACPI_XSDT_ENTRY_SIZE));
+
 	return (0);
 }
 
@@ -745,6 +714,9 @@
 	/* Flags */
 	BASL_EXEC(basl_table_append_int(hpet, ACPI_HPET_PAGE_PROTECT4, 1));
 
+	BASL_EXEC(basl_table_append_pointer(xsdt, ACPI_SIG_HPET,
+	    ACPI_XSDT_ENTRY_SIZE));
+
 	return (0);
 }
 
@@ -837,6 +809,9 @@
 	/* Local APIC LINT */
 	BASL_EXEC(basl_table_append_int(madt, 1, 1));
 
+	BASL_EXEC(basl_table_append_pointer(xsdt, ACPI_SIG_MADT,
+	    ACPI_XSDT_ENTRY_SIZE));
+
 	return (0);
 }
 
@@ -863,6 +838,22 @@
 	/* Reserved */
 	BASL_EXEC(basl_table_append_int(mcfg, 0, 4));
 
+	BASL_EXEC(basl_table_append_pointer(xsdt, ACPI_SIG_MCFG,
+	    ACPI_XSDT_ENTRY_SIZE));
+
+	return (0);
+}
+
+static int
+build_xsdt(struct vmctx *const ctx)
+{
+	BASL_EXEC(basl_table_create(&xsdt, ctx, ACPI_SIG_XSDT,
+	    BASL_TABLE_ALIGNMENT, XSDT_OFFSET));
+
+	/* Header */
+	BASL_EXEC(basl_table_append_header(xsdt, ACPI_SIG_XSDT, 1, 1));
+	/* Pointers (added by other build_XXX funcs) */
+
 	return (0);
 }
 
@@ -905,7 +896,7 @@
 	 */
 	BASL_EXEC(basl_compile(ctx, basl_fwrite_rsdp, 0));
 	BASL_EXEC(basl_compile(ctx, basl_fwrite_rsdt, RSDT_OFFSET));
-	BASL_EXEC(basl_compile(ctx, basl_fwrite_xsdt, XSDT_OFFSET));
+	BASL_EXEC(build_xsdt(ctx));
 	BASL_EXEC(build_fadt(ctx));
 	BASL_EXEC(build_madt(ctx));
 	BASL_EXEC(build_hpet(ctx));