Hallo Mikael,
thank you for your hint.
I modified the hwCPUVoltage() part of MyHwSAMD.cpp like this. It works for me. Maybe it is not the best solution, however.
Sincerely
Karl-Heinz
uint16_t hwCPUVoltage()
{
	#ifdef __SAMD51__ 
	   return FUNCTION_NOT_SUPPORTED;
	#else
	// disable ADC
	while (ADC->STATUS.bit.SYNCBUSY);
	ADC->CTRLA.bit.ENABLE = 0x00;
	// internal 1V reference (default)
	analogReference(AR_INTERNAL1V0);
	// 12 bit resolution (default)
	analogWriteResolution(12);
	// MUXp 0x1B = SCALEDIOVCC/4 => connected to Vcc
	ADC->INPUTCTRL.bit.MUXPOS = 0x1B ;
	// enable ADC
	while (ADC->STATUS.bit.SYNCBUSY);
	ADC->CTRLA.bit.ENABLE = 0x01;
	// start conversion
	while (ADC->STATUS.bit.SYNCBUSY);
	ADC->SWTRIG.bit.START = 1;
	// clear the Data Ready flag
	ADC->INTFLAG.bit.RESRDY = 1;
	// start conversion again, since The first conversion after the reference is changed must not be used.
	while (ADC->STATUS.bit.SYNCBUSY);
	ADC->SWTRIG.bit.START = 1;
	// waiting for conversion to complete
	while (!ADC->INTFLAG.bit.RESRDY);
	const uint32_t valueRead = ADC->RESULT.reg;
	// disable ADC
	while (ADC->STATUS.bit.SYNCBUSY);
	ADC->CTRLA.bit.ENABLE = 0x00;
	return valueRead * 4;
        #endif
}