For more details visit the Evaluation kit website.
The kernel can be programmed using OpenOCD. cd into boards/msp_exp432p401r directory and run:
$ make flash (or) $ make flash-debug
Note: Make sure to use the latest git-openOCD-version as there is currently no support for the XDS110 debug-probe in the pre-built binaries!
Apps are also flashed via openOCD. Make sure, your app is was compiled and converted into the TBF (Tock Binary Format) format. Then cd into the boards/msp_exp432p401rdirectory and run:
$ make flash-app APP=<path_to_tbf_file> (e.g.) $ make flash-app APP=../../../libtock-c/examples/c_hello/build/cortex-m4/cortex-m4.tbf