kernel_profiles_manager
