If you go to the About page, you will find the LGPL and GPL written out in full, as well as list of software that is plainly Linux and Gnu software. I have inquired about kernel source code, and have been assured it is on the way.
There is no indication anywhere that Microsoft played any part in this device.