diff --git a/src/arch/arm64/cpu.c b/src/arch/arm64/cpu.c
index 66c8dde9be..0f9e874a3f 100644
--- a/src/arch/arm64/cpu.c
+++ b/src/arch/arm64/cpu.c
@@ -23,6 +23,7 @@
 #include <arch/lib_helpers.h>
 #include <cpu/cpu.h>
 #include <console/console.h>
+#include <gic.h>
 #include "cpu-internal.h"
 
 static struct cpu_info cpu_infos[CONFIG_MAX_CPUS];
@@ -90,6 +91,9 @@ static void init_this_cpu(void *arg)
 
 	cpu_set_device_operations(dev);
 
+	/* Initialize the GIC. */
+	gic_init();
+
 	if (dev->ops != NULL && dev->ops->init != NULL) {
 		dev->initialized = 1;
 		printk(BIOS_DEBUG, "%s init\n", dev_path(dev));