Todo List

Global cpu_enter_sleep (void)

Currently, this function does nothing. We probably want to at least enter Idle mode when the workqueue is empty.

Currently, no sleep modes deeper than Idle will be entered. Deeper sleep modes will require a proper sleep manager to be implemented and supported by all drivers.

Global pll_wait_for_lock (unsigned int pll_id)

Use a timeout to avoid waiting forever and hanging the system

Global sysclk_get_main_hz (void)

This function assumes that the main clock source never changes once it's been set up, and that PLL0 always runs at the compile-time configured default rate. While this is probably the most common configuration, which we want to support as a special case for performance reasons, we will at some point need to support more dynamic setups as well.