Platform-Level Interrupt Controller for #RISCV Sophgo SG2000 / Milk-V Duo S isn't documented ... So we snoop around the Linux Device Tree

Source: https://github.com/lupyuen/nuttx-sg2000#nuttx-shell-runs-ok-on-sg2000