incubator-nuttx/boards/arm64/vdk
..
vdk-armv8r/scripts