The answer to the question if these products are open source, the answer is: no.
Here is my blog post from more than 2 years ago regarding the status of the Arduino Yùn:
http://www.wifi4things.com/arduino-yun-what-is-under-the-hoo...
And here is my clarification request on the Arduino forum, which is still unanswered: