Source code provided?

Embodied Artificial Intelligence
1

I’m about to purchase an RDK S100(P) board.

I think I read the entire online documents, I couldn’t find where I can download the source code for:

  • kernel
  • kernel driver for BPU/GPU/…

Where can I download them?