/* Interrupt handler for the TRNG. 
Display the random value on the terminal.  */
void TRNG_Handler(void)
/* Interrupt handler for the TRNG. 
Display the random value on the terminal.  */
void TRNG_Handler(void)
{
	uint32_t status;
	status = trng_get_interrupt_status(TRNG);
	if ((status & TRNG_ISR_DATRDY) == TRNG_ISR_DATRDY) {
		printf("-- Random Value: %lx --\n\r", trng_read_output_data(TRNG));
	}
}