Vexriscv Core

The vexriscv core only supports standard “Flat builds”, consisting of a single binary.

Building

Build the minimal NSH application:

# Configure for NSH
$ ./tools/configure.sh arty_a7:nsh

# Build Nuttx
$ make

Booting

Create a file, ‘boot.json’ in the Nuttx root directory, with the following content:

{
  "nuttx.bin": "0x40000000",
  "board.dtb": "0x41ec0000"
}

Load the application over serial with:

$ litex_term --images=boot.json --speed=1e6 /dev/ttyUSB0

Update the baud rate and serial port to suit your configuration.