void platform_main_loop(void)
The platform's main loop, if provided.
void platform_init_stage_three(void)
Final stage of platform driver initialisation.
void platform_idle(void)
The platform's idle/sleep function.
void platform_init_stage_one(void)
Basic (Stage 1) platform driver initialisation.
void platform_init_stage_two(void)
Stage 2 of platform driver initialisation.
void platform_process_args(int argc, char **argv)
Allow the platform to process main's command line arguments.