Should be all the code needed to compile the Kernel. Now to actually generate the required Kernel and Host Code...