Bbl debugging using gdb

I’m sorry there is no effect for HVC_RISCV_SBI in my case.

I just have a uart on my fpga. There are no any devices such as video, ethern and pci etc.
Not yet enabled correctly speaking. Very minimal h/w configuration.

Could you check my dts file and kernel log for uart?

  • dts for uart
86                 L9: serial@20000000 {
 87                         clocks = <&L8>;
 88                         compatible = "sifive,uart0";
 89                         interrupt-parent = <&L1>;
 90                         interrupts = <1>;
 91                         reg = <0x20000000 0x1000>;
 92                         reg-names = "control";
 93                 };
 94                 L8: tlclk {
 95                         #clock-cells = <0>;
 96                         clock-frequency = <100000000>;
 97                         clock-output-names = "tlclk";
 98                         compatible = "fixed-clock";
 99                 };
  • kernel log
[    0.000000] Kernel command line: earlyprintk console=ttyS0 console=ttySIF0,115200n1
~ snip ~
[ 1.590000] Serial: 8250/16550 driver, 4 ports, IRQ sharing disabled
[ 1.610000] 20000000.serial: ttySIF0 at MMIO 0x20000000 (irq = 1, base_baud = 0) is a sifive-serial