I have a Samsung Galaxy Note 10.1 2014 Edition (Model number: SMP-P600) and I'm trying to get the DS-5 suite working with it.
I downloaded the source for the kernel from the offical Samsung site http://opensource.samsung.com/
Buildling the Kernel with the neccessary configuration options worked fine, but when I try to build the gator driver I get a missing header error:
gator_iks.c:15:44: fatal error: trace/events/power_cpu_migrate.h: No such file or directory
Is this particular android kernel not supported by the DS-5 suite? Any help would be appreciated.
Kind Regards
Benjamin Thaut