Yep I agree, programming the 64-bit and 32-bit RISC-V Cores in BL808 SoC can be really challenging! I hope to run NuttX RTOS on both cores, talking over OpenAMP.