KK Kernel Source: /include