This application was made to manage every setting available in the Devil Kernel created by DerTeufel1980 at XDA. Its only for the Samsung Galaxy family, running ICS/JB/KK and rooted, but probably works on other kernels too. Devil Kernels XDA Threads. Devil Kernel Manager XDA Thread. Features: All the latest settings supported by the Kernel. Everything sticks after boot.