Dear Sirs/Madams,
In the FAQ related to your hardware products it is told that you are using a modified version of the Linux kernel. Is the source code for your modified kernel version available publicly, or on demand?
Thanks in advance for your answer!