src/HW_models/BLECrypt_if.c
src/HW_models/bstest_ticker.c
src/HW_models/crc.c
src/HW_models/fake_timer.c
src/HW_models/irq_ctrl.c
src/HW_models/trivial_xo.c
src/HW_models/weak_stubs.c
src/HW_models/HW_utils.c
src/HW_models/NRF_HWLowL.c
src/HW_models/NHW_misc.c
src/HW_models/NHW_54_AAR_CCM_ECB.c
src/HW_models/NHW_54L_CLOCK.c
src/HW_models/NHW_CRACEN_wrap.c
src/HW_models/NHW_CRACEN_RNG.c
src/HW_models/NHW_CRACEN_CM.c
src/HW_models/NHW_CRACEN_CM.AES.c
src/HW_models/NHW_DPPI.c
src/HW_models/NHW_EGU.c
src/HW_models/NHW_EVDMA.c
src/HW_models/NHW_54L_FICR.c
src/HW_models/NRF_GPIO.c
src/HW_models/NRF_GPIO_backend.c
src/HW_models/NRF_GPIOTE.c
src/HW_models/NHW_GRTC.c
src/HW_models/NHW_NFCT.c
src/HW_models/NHW_NVM_backend.c
src/HW_models/NHW_PPIB.c
src/HW_models/NHW_RADIO.c
src/HW_models/NHW_RADIO_bitcounter.c
src/HW_models/NHW_RADIO_signals.c
src/HW_models/NHW_RADIO_timings.c
src/HW_models/NHW_RADIO_utils.c
src/HW_models/NHW_RRAMC.c
src/HW_models/NHW_SPU.c
src/HW_models/NHW_SWI.c
src/HW_models/NHW_TEMP.c
src/HW_models/NHW_TIMER.c
src/HW_models/NHW_UART.c
src/HW_models/NHW_UART_backend_fifo.c
src/HW_models/NHW_UART_backend_pty.c
src/HW_models/NHW_UART_backend_pty_int.c
src/HW_models/NHW_UART_be_loopb.c