Hello,
On "technical reference" SPRUHZ6J at page 7824 there will be explain, that set the clocksource of sys_clk1 through the both SYSBOOT pins 8 and 9. But in the reference designs there will be used SYS_CLK0!
Is that a mistake in the text?
Best Regards