Linux Professional Edition 3.1 (Pro) now supports MIPS Technologies' MIPS32 24K and 4KE core families. Linux Professional Edition is available on a subscription basis. The Linux kernel features the company's preemptable enhancements and high-resolution Posix timers. The Linux operating system comes with the company's Eclipse-based DevRocket graphical development environment. DevRocket supports kernel and application debuggers.