K1处理器的中断控制器是什么型号

K1
1

我现在想将K1与我们的RTOS进行适配，需要适配中断控制器驱动。请问k1的中断控制器型号是什么，是基于0xe0000000基地址的plic吗？
如果想适配该驱动的话，内核中的哪部分代码可以供我参考？