# Pastebin 2UeJ08bC I had been expecting to see the UART interrupt listed for the PLIC chip as there are no errors in the UART driver probe and the irqdomains seem to be setup okay for INTC and PLIC chips. # cat /proc/interrupts CPU0 5: 3420 RISC-V INTC 5 Edge riscv-timer IPI0: 0 Rescheduling interrupts IPI1: 0 Function call interrupts IPI2: 0 CPU stop interrupts IPI3: 0 IRQ work interrupts IPI4: 0 Timer broadcast interrupts