Kernel sources / support other hdmi resolution

I want to use a 1024x600 hdmi display, it seems I have to modify the kernel for this.

But I cannot seem to find the sources of the kernel.

Where can I download the sources ?

Hi there,

the system shall support the 1024 X 600. We do not decide to open source the kernel yet. But we base on rockchip kernel and then modify around 20% codes. Here is the rockchip kernel. thanks.