POK(kernelpart)
core Directory Reference

Files

file  boot.c [code]
 Boot function to start the kernel.
 
file  cons.c [code]
 
file  debug.c [code]
 
file  error.c [code]
 
file  instrumentation.c [code]
 
file  kernel.c [code]
 
file  loader.c [code]
 
file  lockobj.c [code]
 Provides functionnalities for locking functions (mutexes, semaphores and so on)
 
file  partition.c [code]
 This file provides functions for partitioning services.
 
file  sched.c [code]
 
file  syscall.c [code]
 
file  thread.c [code]
 Thread management in kernel.
 
file  time.c [code]