9 #include "sw/device/silicon_creator/lib/drivers/ibex.h"
10 #include "sw/device/silicon_creator/lib/drivers/uart.h"
12 #include "uart_regs.h"
21 const uint64_t kClockFreqCpuMhz = 24;
25 uint64_t
to_cpu_cycles(uint64_t usec) {
return usec * kClockFreqCpuMhz; }
42 const uint32_t kUartBaud230K =
44 const uint32_t kUartBaud460K =
46 const uint32_t kUartBaud921K =
48 const uint32_t kUartBaud1M33 =
50 const uint32_t kUartBaud1M50 =
63 const bool kJitterEnabled =
false;
67 uint32_t fpga = ibex_fpga_version();
69 const uint32_t kRom = 0x3a4d4f52;
73 const uint32_t kNewline = 0x0a0d;
74 uart_write_hex(fpga,
sizeof(fpga), kNewline);