A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation