Gets the actual system time
time_t XEOS_System_GetTime(
void );
The number of seconds since January 1st 1970
Gets the actual number of milliseconds
double XEOS_System_GetTimeMilliSeconds(
void );
The number of milliseconds
Kernel panic
void XEOS_System_Panic(
const char *message,
void ( * beforeHalt )(
void ) );
Kernel panic
void XEOS_System_Panicf(
const char *format,
void ( * beforeHalt )(
void ),
... ) FORMAT_ATTRIBUTE(
printf,
1,
3 );