kernel → ipc Relation

File in src/include/kernel	Includes file in src/include/ipc
ext_manifest.h	info.h