diff --git a/apps/Arm/vm_multi/exynos5422/devices.camkes b/apps/Arm/vm_multi/exynos5422/devices.camkes
index e5c3514a..01ef4c0b 100644
--- 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
index 2699ce63..a15097ad 100644
--- 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([]);
     }
 }