nuttx/boards/risc-v/qemu-rv/rv-virt/configs/knsh32_paging
..
defconfig