A simple, profile based kernel manager. - View it on GitHub