Text this: Runtime CPU scheduler customization framework for a flexible mobile operating system