camkes-vm-apps: use empty list

Signed-off-by: Axel Heider <[email protected]>
seL4 · Mar 13, 2023 · 509ce60 · 509ce60
1 parent 9f0a534
commit 509ce60
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([]);
     }
 }