/* Configure the internal OSC32K oscillator clock source. 
Configures the 32KHz (nominal) internal RC oscillator with the given configuration settings. */
void system_clock_source_osc32k_set_config(struct system_clock_source_osc32k_config *const config)
/* Configure the internal OSC32K oscillator clock source. 
Configures the 32KHz (nominal) internal RC oscillator with the given configuration settings. */
void system_clock_source_osc32k_set_config(struct system_clock_source_osc32k_config *const config)
{
	SYSCTRL_OSC32K_Type temp = SYSCTRL->OSC32K;
	temp.bit.EN1K     = config->enable_1khz_output;
	temp.bit.EN32K    = config->enable_32khz_output;
	temp.bit.STARTUP  = config->startup_time;
	temp.bit.ONDEMAND = config->on_demand;
	temp.bit.RUNSTDBY = config->run_in_standby;
	temp.bit.WRTLOCK  = config->write_once;
	SYSCTRL->OSC32K  = temp;
}