NuttX on Ox64 BL808: PLIC Interrupt Claim is OK yay! See https://github.com/lupyuen/nuttx-ox64

ox64-nuttx-claim-ok.log

 0 
switch to partitions #0, OK
mmc0 is current device
Scanning mmc 0:2...
Found /extlinux/extlinux.conf
Retrieving file: /extlinux/extlinux.conf
Select the boot mode
1:.Pine64 0X64 Kernel
2:.Sipeed M1SDock Kernel
Enter choice: 1:.Pine64 0X64 Kernel
Retrieving file: /extlinux/../Image
append: root=PARTLABEL=rootfs rootwait r rootfstype=ext4 console=ttyS0,2000000 loglevel=8 earlyc/../bl808-pine64-ox64.dtb
## Flattened Device Tree blob at 51ff8000
   Booting using the fdt blob at 0x51ff8000
Working FDT set to 51ff8000
   Loading Device Tree to 0000000053f22000, end 0000000053f25fab ... OK
Working FDT set to 53f22000

Starting kernel ...

123jh7110_copy_ramdisk: _edata=0x50400258, _sbss=0x50400290, _ebss=0x50407000, JH7110_IDLESTACK_TOP=0x50407c00
jh7110_copy_ramdisk: ramdisk_addr=0x50410281
jh7110_copy_ramdisk: size=8192000
ABCjh7110_kernel_mappings: map I/O regions
jh7110_kernel_mappings: map PLIC as Interrupt L2
jh7110_kernel_mappings: connect the L1 and Interrupt L2 page tables for PLIC
jh7110_kernel_mappings: map kernel text
jh7110_kernel_mappings: map kernel data
jh7110_kernel_mappings: connect the L1 and L2 page tables
jh7110_mappings: map the page pool
up_irqinitialize: 

NuttShell (NSH) NuttX-12.0.3
riscv_dispatch_irq: claim=0x14
nsh> riscv_dispatch_irq: claim=0x14
riscv_dispatch_irq: claim=0x14
riscv_dispatch_irq: claim=0x14
1riscv_dispatch_irq: claim=0x14
riscv_dispatch_irq: claim=0x14
2riscv_dispatch_irq: claim=0x14
riscv_dispatch_irq: claim=0x14
3riscv_dispatch_irq: claim=0x14
riscv_dispatch_irq: claim=0x14
4riscv_dispatch_irq: claim=0x14