CRACEN_SX_PK_MICROCODE_ADDRESS

#define CRACEN_SX_PK_MICROCODE_ADDRESS   ((uint32_t)(NRF_CRACENCORE_BASE + 0xC000))

#include <hardware.h>

Address of the SilexPK MicroCode.