RT-smart加linux的SDK包里有没有开发linux内核(小核)的环境适配？

想使用K230的小核(linux)去驱动一些外设，要不要重新烧录镜像？如果不需要的话，有没有更具体的例程可以借鉴参考？以下为官方文档找到的一些资料，但是不够具体，希望有更具体的一些开发例程。