include Directory Reference

Files
	kernel_arch_interface.h
	Internal kernel APIs implemented at the architecture layer.