Tool for programming Tock onto hardware boards.

(sudo) pip3 install tockloader

This tool installs a binary called tockloader, which supports several commands:

Listen to UART printf() data from a board.

Print information about the apps currently loaded onto the board.

Load Tock applications on to the board. Use --no-replace to install multiple copies of the same app.

Update an application that is already flashed to the board with a new binary.

Remove an application from flash by its name.

Load binaries onto hardware platforms that are running a compatible bootloader. This is used by the TockOS Make system when application binaries are programmed to the board with make program.

Show all of the attributes that are stored on the board.

Set a particular attribute key to the specified value. This will overwrite an existing attribute if the key matches.

Remove a particular attribute from the board.

Show details about a compiled TAB file.

• Supported communication protocols
  • Serial over USB
  • Segger JLinkExe JTAG support

Tockloader is a Python script that is installed as an executable. To use Tockloader, you need python3, a couple dependencies, and the Tockloader package.

• Ubuntu

  sudo apt install python3-pip
  sudo pip3 install -U pip      # update pip
  sudo pip3 install tockloader
  

• MacOS

  brew install python3
  pip3 install tockloader
  

Internal note.

python3 setup.py sdist bdist_wheel
twine upload dist/*