1. INTRODUCTION In a real-time kernel, it is well known that different scheduling policies lead to different system performance and different memory usage. For example, executing all the tasks in non-preemptive fashion can significantly reduc