"The more features a real-time kernel provides, the more complex it is, the more its performance degrades, and the more difficult it is to analyze".

Real-Time Systems Design and Analysis by Phillip A. Laplante

For the performance, you want to keep it simple. If it is simple, you can probably write your own... :)