Nordic nrf5x HALs and register definitions for nrf5x devices Renode supports: nrf52840 development kit