優先度継承、効率的なタイマー管理、ピコカーネル設計、event-chaining、高度なソフトウエアタイマー、コンパクトなサイズがある。