Well, to be honest, the OS might be ooen source but it doesn't have to be publicly available to everyone.

The only way to find out is to find someone who bought it and asked for the source code of the OS/firmware and the schematics.