Should be `KernelInterface`