diff --git a/sys/arm/arm/generic_timer.c b/sys/arm/arm/generic_timer.c
--- a/sys/arm/arm/generic_timer.c
+++ b/sys/arm/arm/generic_timer.c
@@ -564,6 +564,8 @@
 	    gtdt->NonSecureEl1Interrupt);
 	arm_tmr_acpi_add_irq(parent, dev, GT_VIRT,
 	    gtdt->VirtualTimerInterrupt);
+	arm_tmr_acpi_add_irq(parent, dev, GT_HYP_PHYS,
+	    gtdt->NonSecureEl2Interrupt);
 
 out:
 	acpi_unmap_table(gtdt);