There is also SD32, another FPC operating system anounced on the FPC website.