I'll check this out later, but I've checked up on Redox from time to time, and they've been making steady progress. I sincerely hope they succeed, because I would love to see this competing with the likes of Linux, instead of other novelties like RISC OS.