Beginnings of CONFIG_BIOS support

ported from machine&kb
2022-07-22 23:35:18 -04:00
parent c069e12948
commit 9b1e90331f
4 changed files with 142 additions and 7 deletions
--- a/src/machine/machine.c
+++ b/src/machine/machine.c
@@ -145,12 +145,19 @@ int
 machine_available(int m)
 {
    int ret;
+    device_t *d = (device_t *) machine_getdevice(m);

    bios_only = 1;
-    ret = machine_init_ex(m);
+
+    ret = device_available(d);
+    /* Do not check via machine_init_ex() if the device is not NULL and
+       it has a CONFIG_BIOS field. */
+    if ((d == NULL) || (ret != -1))
+        ret = machine_init_ex(m);

    bios_only = 0;
-    return ret;
+
+    return !!ret;
 }