diff --git a/repos/base-hw/src/core/spec/vea9x4/trustzone/platform_support.cc b/repos/base-hw/src/core/spec/vea9x4/trustzone/platform_support.cc
index e792d12d6..8a90987a7 100644
--- a/repos/base-hw/src/core/spec/vea9x4/trustzone/platform_support.cc
+++ b/repos/base-hw/src/core/spec/vea9x4/trustzone/platform_support.cc
@@ -41,7 +41,6 @@ void Kernel::init_trustzone(Pic * pic)
 	Cpu::allow_coprocessor_nonsecure();
 
 	/* set unsecure IRQs */
-	pic->unsecure(34); //Timer 0/1
 	pic->unsecure(35); //Timer 2/3
 	pic->unsecure(36); //RTC
 	pic->unsecure(37); //UART0
diff --git a/repos/os/src/server/tz_vmm/vea9x4/tsc_380.h b/repos/os/src/server/tz_vmm/vea9x4/tsc_380.h
index c1daa42e3..8b321b4c8 100644
--- a/repos/os/src/server/tz_vmm/vea9x4/tsc_380.h
+++ b/repos/os/src/server/tz_vmm/vea9x4/tsc_380.h
@@ -168,7 +168,7 @@ class Tsc_380 : Genode::Mmio
 			write<Region_attr<REGION14_REG_OFF>::Subreg5>(1);
 			write<Region_attr<REGION14_REG_OFF>::Subreg6>(1);
 
-			/* Access to SP804, and RTC */
+			/* Access to SP804 2/3, and RTC */
 			write<Region_low<REGION13_REG_OFF> >(0x10010000);
 			write<Region_high<REGION13_REG_OFF> >(0x10018000);
 			write<Region_attr<REGION13_REG_OFF>::Enable>(1);
@@ -178,6 +178,7 @@ class Tsc_380 : Genode::Mmio
 			write<Region_attr<REGION13_REG_OFF>::Secure_read>(1);
 			write<Region_attr<REGION13_REG_OFF>::Secure_write>(1);
 			write<Region_attr<REGION13_REG_OFF>::Subreg0>(1);
+			write<Region_attr<REGION13_REG_OFF>::Subreg1>(1);
 			write<Region_attr<REGION13_REG_OFF>::Subreg3>(1);
 			write<Region_attr<REGION13_REG_OFF>::Subreg4>(1);
 			write<Region_attr<REGION13_REG_OFF>::Subreg5>(1);