Update to the latest libtock-c commit. libtock-c now includes a
libtockHal.h, so we can use that instead of the version here.
Signed-off-by: Alistair Francis <alistair@alistair23.me>
* examples/NonArduino/Tock: Support building for RISC-V
Signed-off-by: Alistair Francis <alistair@alistair23.me>
* examples/NonArduino/Tock: Update to newer libtock-c
Signed-off-by: Alistair Francis <alistair@alistair23.me>
---------
Signed-off-by: Alistair Francis <alistair@alistair23.me>
