spm: add NRF_DPPIC

Add the NRF_DPPIC peripheral to be configurable
in non-secure, with a mask to configure each
DPPI channel individually.

Signed-off-by: Håkon Alseth <[email protected]>

Author: Rallare

subsys/spm/Kconfig

@@ -193,6 +193,20 @@ config SPM_NRF_WDT_NS
 	default n
 endmenu
 
+config SPM_NRF_DPPIC_NS
+	bool "DPPIC is Non-Secure"
+	default y
+
+config SPM_NRF_DPPIC_PERM_MASK
+	hex "Set DPPIC PERM mask for Non-secure"
+	default 0x0000FFFF
+	depends on SPM_NRF_DPPIC_NS
+	help
+	  The input mask is a mirror of the permission bits set in
+	  register SPU.DPPI.PERM[] to allow non-secure application to
+	  control DPPIC per the given input mask.
+	  The default value is to allow all DPPI channels to non-secure region.
+
 endif # IS_SPM
 
 endmenu

subsys/spm/spm.c

@@ -104,6 +104,13 @@ extern int irq_target_state_is_secure(unsigned int irq);
 	}
 #endif
 
+/* Check if configuration exceeds the number of
+ * DPPI Channels available on device.
+ */
+#if (CONFIG_SPM_NRF_DPPIC_PERM_MASK >= (1 << DPPI_CH_NUM))
+#error "SPM_NRF_DPPIC_PERM_MASK exceeds number of available DPPI channels"
+#endif
+
 #if defined(CONFIG_ARM_FIRMWARE_HAS_SECURE_ENTRY_FUNCS)
 
 static void spm_config_nsc_flash(void)
@@ -271,6 +278,11 @@ static int spm_config_peripheral(u8_t id, bool dma_present)
 	return 0;
 }
 
+static void spm_dppi_configure(u32_t mask)
+{
+	NRF_SPU->DPPI[0].PERM = mask;
+}
+
 static void spm_config_peripherals(void)
 {
 	struct periph_cfg {
@@ -344,13 +356,18 @@ static void spm_config_peripherals(void)
 		PERIPH("NRF_FPU", NRF_FPU_S, CONFIG_SPM_NRF_FPU_NS),
 		PERIPH("NRF_EGU1", NRF_EGU1_S, CONFIG_SPM_NRF_EGU1_NS),
 		PERIPH("NRF_EGU2", NRF_EGU2_S, CONFIG_SPM_NRF_EGU2_NS),
+		PERIPH("NRF_DPPIC", NRF_DPPIC_S, CONFIG_SPM_NRF_DPPIC_NS),
 
 		PERIPH("NRF_GPIOTE1", NRF_GPIOTE1_NS,
 				      CONFIG_SPM_NRF_GPIOTE1_NS),
 		PERIPH("NRF_REGULATORS", NRF_REGULATORS_S,
 				      CONFIG_SPM_NRF_REGULATORS_NS),
 	};
 
+	if (IS_ENABLED(CONFIG_SPM_NRF_DPPIC_NS)) {
+		spm_dppi_configure(CONFIG_SPM_NRF_DPPIC_PERM_MASK);
+	}
+
 	PRINT("Peripheral\t\tDomain\t\tStatus\n");
 
 	if (IS_ENABLED(CONFIG_SPM_NRF_P0_NS)) {