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.