/* Perform basic hardware initialization at boot. 
This needs to be run at the very beginning. So the init priority has to be 0 (zero). */
static int atmel_samv71_init(void)
/* Perform basic hardware initialization at boot. 
This needs to be run at the very beginning. So the init priority has to be 0 (zero). */
static int atmel_samv71_init(void)
{
	if (CHIPID->CHIPID_CIDR != CHIP_CIDR) {
		LOG_WRN("CIDR mismatch: chip = 0x%08x vs HAL = 0x%08x",
			(uint32_t)CHIPID->CHIPID_CIDR, (uint32_t)CHIP_CIDR);
	}
	return 0;
}