void oskit_init_libc(void);
oskit_init_libc allows for internal initializatons to be done. This routine must be called when the operating system is initialized, typically at the beginning of the main program.
