include → kernel Relation

File in src/include	Includes file in src/kernel
arch / amd64 / stdint.h	arch / amd64 / arch.h
sys / message_passing.h	cstdlib / stdbool.h