I've verified that the kernel can be compiled using the Source Code and CodeSourcery G++ lite. ------- It appears that the provided download doesn't contain the source code for all of the drivers. The pre-compiled binaries are present so building the kernel is still possible. Another member says that they have been in contact with Samsung and that they(Samsung) intends on releasing the full driver source sometime next week. Whenever the complete source is released, I will update the links.