This repository contains ports of Tock OS (https://www.tockos.org) to Titan chips.
This is not an officially supported Google product.
Get the source:
git clone --recursive https://github.com/google/tock-on-titan.git
Download Rust
cd tock-on-titan
curl https://sh.rustup.rs -sSf | sh
Configure Rust
make setup
make build
make build-signed
The build-signed
target requires TANGO_CODESIGNER
and TANGO_CODESIGNER_KEY
to be set. The codesigner and keys are not publicly available.