Hi.
If your question still stands you should get the sources, not a SDK targeted towards a given platform. So OKL4 base release.
There is no support for your either your system or CPU /CPU architecture in the public okl4 3 sources.
You will need to start of by compiling for an existent platform, just to ensure the environment basics work.
You will then need to add cortex_a9, armv7, and imx6 SoC specific support for interrupt, timer and serial. For super-basic functionality most of this involves copying existent templates (arm1136j -> cortex_a9, armv6->armv7, pxa->imx6) and then adapting those based on studying board specifics.
For reference you can use imx6 specific Linux sources (worst case linaro has had linux kernels for this platform for a whil), and in some cases go into hardware
TRM specifics. You need to "port" things like cache/TLB properties, cp15 maintenace instructions, MMU and paging bits, interupt controller, timer, serial used in polling mode.
In terms of TRMs you will need (ARMv7 TRM DDI0406*, Cortex-A9 TRM, Freescale IMX6 TRM, Sabre Board RM).
It's a task.
Cheers,
Gabi Voiculescu