diff --git a/BUILD.gn b/BUILD.gn
index 5596009..5aee6a9 100644
--- a/BUILD.gn
+++ b/BUILD.gn
@@ -68,6 +68,7 @@
   max_cpus = 8
   max_vms = 16
   toolchain_args = {
+    plat_psci = "//src/arch/aarch64/plat/psci:spmc"
     secure_world = "1"
     pl011_base_address = "0x1c090000"
   }
@@ -163,6 +164,7 @@
   max_cpus = 4
   max_vms = 16
   toolchain_args = {
+    plat_psci = "//src/arch/aarch64/plat/psci:spmc"
     secure_world = "1"
     pl011_base_address = "0x7ff80000"
   }