Not really open source

These guys make a big deal out of being open source, but they aren't any more open source than an Intel Core i7. Sure, they use GCC and open tools to compile, but so do ARMs and Intel chips. They could release the design of their chip, but they don't. It isn't open source unless you release your designs.