我本地启动 Linux，发现最初的输出是 U-boot → Linux，没有看到 OpenSBI 的任何日志，是将它关闭了吗，有没有便捷的手段打开它？
你好opensbi默认是不打印的，如果需要打印需要连接串口，然后编译的时候打开一个宏
好的谢谢
