关于在pl端添加uartlite串口IP中遇到的一系列问题：

[L0stMyN4me]

你好！
我们在工程中给NutShell添加了一个uartlite IP，地址分配为0x4060_0000,试图使用PL端的串口打印启动信息，但是我们在实现的过程中遇到了很多问题，
还希望请您们指导一下！
1、我们根据issue#69 ，在riscv-linux/arch/riscv/defconfig中修改CONFIG_SERIAL_UARTLIE=y 将uartlite编入内核，再在riscv-pk/dts中添加uartlite的设备树后，执行make来生成bbl.bin文件. 启动linux后可以看到有uartlite的驱动
但是没有ttyUL设备，在/proc/device-tree/soc文件夹下没有找到添加的uartlite的设备树信息，之后我们更改了riscv-pk/dts中示例的设备名字以检查是否是uartlite的设备树信息有错，但启动linux后发现示例设备的信息并没有发生变化，请问除了riscv-pk/dts文件夹中的dts，还有其他地方需要配置设备树吗？
2、在执行完命令make bootgen PRJ=myproject BOARD=pynq [STANDALONE=true后生成的dtsi文件，我们在/proc/device-tree/soc文件夹下找到了PS部分的设备信息
但是找不到PL端的设备信息，请问如何将PL端的设备添加进内核呢？
3、我们根据您提供的 构建Linux Kernel 的文件中“riscv-pk 的 Makefile 依赖有一点小问题，因此做了任何修改后，请在 riscv-pk 里面先 make clean”，在执行完make clean命令后，执行make命令进行编译，将生成的bbl.bin拷贝到SD卡后无法启动内核，会有以下报错
请问这有可能是什么原因造成的呢？
4、在以上方法都行不通后，我们尝试使用动态加载的方式来加载uartlite驱动，在defconfig中修改为CONFIG_SERIAL_UARTLIE=m，编写Makefile文件生成uartlite.ko文件,
根据内核版本创建/lib/modules/4.18.0文件夹并将.ko文件拷贝进去，执行命令insmod uartlite.ko报错 Invalid module format，尝试了网上的多种方法仍没有解决？

还请您指导！
感谢！