stwjt

Hi, I fix it by using opam install menhir.20211128.

> > @cebarobot 另外请问有测试过直接使用jlink驱动本身的riscv64调试功能吗？openocd的性能和便利程度比起jlink官方驱动还是差了一些 > > 我们没有尝试过，您可以尝试一下。 > > We haven't try that. You could have a try. 您好 能确认下JLINK的型号吗？我看这里写的是JLINK-v9。我怕我买错了，烧坏板子。。。 

> 我们目前没有还没有提供用于 FPGA 平台的 openSBI 工作负载的构造教程。您可结合面向软件仿真平台的基于 openSBI 的工作负载构造教程和面向 FPGA 的基于 riscv-pk 的工作负载构造教程来构造您需要的工作负载。 > > 造成内核没有输出或卡死的可能性很多，包括但不限于设备树配置、启动参数、硬件缺陷等，可能还需要进一步观察。 > > 另外，FPGA 平台使用的 UART 模块貌似是 ns16550/8250 兼容的，openSBI 里有对 8250 UART 的支持，大概不需要额外的代码修改。 > > Currently,...

> > 我们目前没有还没有提供用于 FPGA 平台的 openSBI 工作负载的构造教程。您可结合面向软件仿真平台的基于 openSBI 的工作负载构造教程和面向 FPGA 的基于 riscv-pk 的工作负载构造教程来构造您需要的工作负载。 > > 造成内核没有输出或卡死的可能性很多，包括但不限于设备树配置、启动参数、硬件缺陷等，可能还需要进一步观察。 > > 另外，FPGA 平台使用的 UART 模块貌似是 ns16550/8250 兼容的，openSBI 里有对 8250 UART 的支持，大概不需要额外的代码修改。 > >...