=============
Vexriscv Core
=============

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

Configuration
-------------

For vexriscv, the linux CPU variant is required.  Please consult the appropriate board
documentation for flashing gateware.

If you use the secure CPU variant, you may encounter a kernel panic on startup - please see
https://github.com/apache/nuttx/pull/17494 for an example.

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.