together with a special FT version of the GRLIP IP library. Only netlist distribution is possible. An FPGA implementation called LEON3FT-RTAX is proposed for critical space applications. LEON4 processor core In January 2010, the fourth version of the LEON processor was released. This release has the following new features: Static branch prediction added to pipeline Optional level-2 cache 64-bit or 128-bit path to AMBA AHB interface Higher performance possible (claimed by manufacturer: 1.7 DMIPS/MHz as opposed to 1.4 DMIPS/MHz of LEON3) Rad hardened. LEON5 processor core Under development. Real-time OS support The Real-time operating systems that support the LEON core are currently RTLinux, PikeOS, eCos, RTEMS, Nucleus, ThreadX, OpenComRTOS, VxWorks (a port by Gaisler Research), LynxOS (also a port by Gaisler Research), POK (a free ARINC653 implementation released under the BSD licence) and ORK+, an open-source real-time kernel for high-integrity real-time applications with the Ravenscar Profile, Embox an open-source configurable real-time OS which allows using Linux software without Linux. See also OpenSPARC S1 Core OpenRISC ERC32 FeiTeng-1000 Soft microprocessor Schiaparelli EDM lander References External links Cobham Gaisler GR740: The ESA Next Generation Microprocessor (NGMP) Cobham: Radiation Hardened Solutions and High Reliability Components LEON3 tutorial GNU/Linux on the SPARC architecture with original port on LEON Embedded microprocessors European Space Agency Radiation-hardened microprocessors Open microprocessors Soft microprocessors SPARC microprocessors