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]