diff --git a/apps/Arm/vm_minimal/zcu102/2022_1/devices.camkes b/apps/Arm/vm_minimal/zcu102/2022_1/devices.camkes index 5450e817..d0d2e49f 100644 --- a/apps/Arm/vm_minimal/zcu102/2022_1/devices.camkes +++ b/apps/Arm/vm_minimal/zcu102/2022_1/devices.camkes @@ -27,7 +27,8 @@ assembly { "initrd_addr" : VAR_STRINGIZE(VM_INITRD_ADDR), "kernel_entry_addr" : VAR_STRINGIZE(VM_ENTRY_ADDR), }; - vm0.num_vcpus = 4; + vm0.num_vcpus = 2; + vm0.pcpus = [2, 3]; /* Extra untyped pool to allow for 256MB of RAM */ vm0.simple_untyped28_pool = 1;