kernel Directory Reference

Files
file	acl.h [code]
file	acl_perm.h [code]
file	attr_acl.c [code]
file	certm_acl.c [code]
file	init.c [code]
file	int_msg.c [code]
file	kernel.h [code]
file	key_acl.c [code]
file	mech_acl.c [code]
file	msg_acl.c [code]
file	obj_acc.c [code]
file	objects.c [code]
file	sec_mem.c [code]
file	semaphore.c [code]
file	sendmsg.c [code]
file	thread.h [code]