A CPU manager for Linux