You should follow the getting started guide to get your development setup and ensure you can communicate with the hardware.
The Tock course is currently written for an imix hardware platform. To follow the directions directly, you will need an imix hardware platform (pictured above). Tock is a general operating system, however, and other boards should work, but they might not provide the exact same hardware sensors or peripherals.
To complete the 6LoWPAN networking portion of this guide, you'll need an additional imix to act as a hub.
All of the hands-on exercises will be done within the source code for this book. So pop open a terminal, and navigate to the repository. If you're using the VM, that'll be:
$ cd ~/book
$ git pull
To build the kernel, just type make in the
$ cd imix/ $ make
If this is the first time you are trying to make the kernel, the build system will use cargo and rustup to install various Tock dependencies.
If this is your first time building a Tock kernel for this particular
architecture, you may get an error complaining that you don't have the proper
cargo target installed. We can use
rustup to fix that:
$ rustup target add thumbv7em-none-eabi
imixis based around an ARM Cortex-M4 microcontroller, which uses the thumbv7em instruction set. The rustup command above just downloads Rust core libraries for this architecture.