For more details visit the SparkFun website.
The kernel can be programmed using the Ambiq python scrips. cd
into boards/sparkfun_redboard_artemis_nano
directory and run:
$ make flash (or) $ make flash-debug
This will flash Tock onto the board via the /dev/ttyUSB0 port. If you would like to use a different port you can specify it from the PORT
variable.
$ PORT=/dev/ttyUSB2 make flash
This will flash Tock over the SparkFun Variable Loader (SVL) using the Ambiq loader. The SVL can always be re-flashed if you want to.