rk3399Pro如何使用UART4

dingchao

各位好，我下载最新的rk3399Pro,安卓9.0源码，编译刷机之后发现dev目录下面只有
tty、ttyS0、ttyFIQ0
没有ttyS4、ttysWK* 等设备

所以因为我一直做应用层的，底层没有接触过，所以有几个问题想请教一下，希望知道的朋友不吝赐教
1、如果我需要使用uart4，是否需要修改系统源码，还是说底层已经开放了ttys4出来了？
2、基于1、如果需要修改系统源码的话请问有详细的修改教程吗？我看了wiki上跟我下载下来的源码不一致（rk3399-firefly-port.dtsi文件中wiki上的是spi1，而源码上的是spi2），而且在rk3399-firefly-aiojd4.dts文件中，wiki的教程与源码一致，那还需要修改吗？
3、基于1，如果不需要修改源码，那我的设备为什么没有ttys4，大致的原因是什么？要怎么排查这个问题。
4、我也尝试在rk3399-firefly-port.dtsi文件中加入
&uart4 {
       current-speed = <115200>;
       no-loopback-test;
       status = "okay";
};该段代码，但是依然在dev下面没有找到ttys4,在firefly_defconfig文件中已经有
CONFIG_SERIAL_8250_NR_UARTS=6
CONFIG_SERIAL_8250_RUNTIME_UARTS=6
配置内容。
总结：我如果想使用uart4的修改流程到底是怎样的，挺急的，希望各位赐教，谢谢！

dingchao

@leung先森，能@ 到吗？