|
@@ -2914,6 +2914,28 @@ int main(int argc, char **argv, char **envp)
|
|
|
exit(1);
|
|
|
}
|
|
|
|
|
|
+ /*
|
|
|
+ * Get the default machine options from the machine if it is not already
|
|
|
+ * specified either by the configuration file or by the command line.
|
|
|
+ */
|
|
|
+ if (machine->default_machine_opts) {
|
|
|
+ QemuOptsList *list = qemu_find_opts("machine");
|
|
|
+ const char *p = NULL;
|
|
|
+
|
|
|
+ if (!QTAILQ_EMPTY(&list->head)) {
|
|
|
+ p = qemu_opt_get(QTAILQ_FIRST(&list->head), "accel");
|
|
|
+ }
|
|
|
+ if (p == NULL) {
|
|
|
+ opts = qemu_opts_parse(qemu_find_opts("machine"),
|
|
|
+ machine->default_machine_opts, 0);
|
|
|
+ if (!opts) {
|
|
|
+ fprintf(stderr, "parse error for machine %s: %s\n",
|
|
|
+ machine->name, machine->default_machine_opts);
|
|
|
+ exit(1);
|
|
|
+ }
|
|
|
+ }
|
|
|
+ }
|
|
|
+
|
|
|
qemu_opts_foreach(qemu_find_opts("device"), default_driver_check, NULL, 0);
|
|
|
qemu_opts_foreach(qemu_find_opts("global"), default_driver_check, NULL, 0);
|
|
|
|