The kernel source is based on the Rockchip community BSP kernel.
Thanks to Giuseppe Pagano giuseppe.pagano@seco.com for the help to
enable basic peripheral functionality for the Juno board