@@ -285,6 +285,26 @@ static int make_chosen_node(libxl__gc *gc, void *fdt, bool ramdisk,
if (res) return res;
}
+ res = fdt_begin_node(fdt, "modules");
+ if (res) return res;
+
+ res = fdt_begin_node(fdt, "module@0");
+ if (res) return res;
+
+ res = fdt_property_compat(gc, fdt, 2, "xen,linux-acpi",
+ "xen,multiboot-module");
+ if (res) return res;
+
+ res = fdt_property_regs(gc, fdt, ROOT_ADDRESS_CELLS, ROOT_SIZE_CELLS,
+ 1, 0, 0);
+ if (res) return res;
+
+ res = fdt_end_node(fdt);
+ if (res) return res;
+
+ res = fdt_end_node(fdt);
+ if (res) return res;
+
res = fdt_end_node(fdt);
if (res) return res;