quick guess is that they use the linux kernel and some other stuff to make the development time shorter, but on top of that have their own proprietary ui toolkit and stuff doing the actual user accessed stuff.

that way they can be compliant to GPL and also have their cake.

kinda like how nokia have done their "differencing"...