LEON3 is a 32bit SPARC CPU used by the European Space Agency. It is available in commercial as well as in fault-tolerant versions with SEU capability from e.g. Gaisler Research. A first port was undertaken using a Xilinx FPGA board.
A small "ping-pong" test program using two tasks and two semaphores compiled down to 6092 bytes and was measured at 73 microseconds for a complete loop (clock frequency 50 MHz).
A first release is scheduled for end November.