I am trying to use multiple DPPI channels for my own purpose after enabling BLE (hci_rpmsg) and MPSL on the nRF5340 net-core. According to the nRF5340 product spec, the net-core has 16 DPPI channels in total. The nrfx_dppi_channel_alloc() function returns 15 at the first call and fails to allocate another channel from the subsequent calls. Does it mean that the BLE and MPSL use 15 DPPI channels already (leaving only one DPPI channel (i,e., ch-15) to application)? How many DPPI channels can I use after enabling BLE (hci_rpmsg) and MPSL on the net-core?
