Make sure you have set up all the tools required to build Tock and libtock-c applications.
This template is a companian for the Getting Started with Secure Embedded Systems book.
Both projects provide really good getting started tutorials (Tock, libtock-c)
To set up the workspace, run:
git submodule update --initInclude here drivers that are specifically designed for your project.
Include here the applcations that are part of your project.