Getting started guide for Tock.
This should be generic and expanded as new courses and tutorials are added.
make
This will auto-install some packages at requested versions if needed. If you do not want tools to auto-install, inspect the Makefile and install the requisite packages manually.
The book is auto-deployed by Netlify on pushes to the main branch.