camkes-vm-apps: use empty list

Signed-off-by: Axel Heider <[email protected]>
seL4 · Jan 2, 2024 · 0bdba23 · 0bdba23
1 parent cfb4cb9
commit 0bdba23
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/apps/Arm/vm_multi/exynos5422/devices.camkes b/apps/Arm/vm_multi/exynos5422/devices.camkes
@@ -87,7 +87,7 @@ assembly {
                     "0x48000000:27"  //RAM
         ];
         vm1.irqs =  [];
-        vm1.dtb = dtb([{}]);
+        vm1.dtb = dtb([]);
 
         vm2.linux_address_config = {
             "linux_ram_base" : VAR_STRINGIZE(VM2_RAM_BASE),
@@ -112,7 +112,7 @@ assembly {
                     "0x50000000:27"  //RAM
         ];
         vm2.irqs =  [];
-        vm2.dtb = dtb([{}]);
+        vm2.dtb = dtb([]);
 
     }
 }
diff --git a/apps/Arm/vm_multi/qemu-arm-virt/devices.camkes b/apps/Arm/vm_multi/qemu-arm-virt/devices.camkes
@@ -78,7 +78,7 @@ assembly {
         vm1.untyped_mmios = [
                     "0x48000000:27", // Linux kernel memory regions
         ];
-        vm1.dtb = dtb([{}]);
+        vm1.dtb = dtb([]);
 
         vm2.linux_address_config = {
             "linux_ram_base" : VAR_STRINGIZE(VM2_RAM_BASE),
@@ -101,6 +101,6 @@ assembly {
         vm2.untyped_mmios = [
                     "0x50000000:27", // Linux kernel memory regions
         ];
-        vm2.dtb = dtb([{}]);
+        vm2.dtb = dtb([]);
     }
 }