void test_pic_init()
{
#define SYSCLK 4000000ULL
#if (SYSCLK == 250000ULL)
CLKDIV = 0x0400; // for SYSCLK(FCY) = 0.25MHz
#elif (SYSCLK == 500000ULL)
CLKDIV = 0x0300; // for SYSCLK(FCY) = 0.5MHz
#elif (SYSCLK == 1000000ULL)
CLKDIV = 0x0200; // for SYSCLK(FCY) = 1MHz
#elif (SYSCLK == 2000000ULL)
CLKDIV = 0x0100; // for SYSCLK(FCY) = 2MHz
#elif (SYSCLK == 4000000ULL)
CLKDIV = 0x0000; // for SYSCLK(FCY) = 4MHz TODO: config is currently without PLL (with PLL also possible if in USB powered mode, but did not work somehow)
#elif (SYSCLK == 8000000ULL)
CLKDIV = 0x0140; // for SYSCLK(FCY) = 8MHz
#elif (SYSCLK == 16000000ULL)
CLKDIV = 0x0100; // for SYSCLK(FCY) = 16MHz
#endif
TEST_ASSERT_TRUE(SYSCLK == systemClockGetFcy());
}
u32 systemClockInitialise ( )
{
/* read out configuration from HW */
return systemClockGetFcy( );
}
