Jean-Michel Picod b22832e9c7 Rely on Makefile to build Tock OS

2020-03-11 18:20:18 +01:00

..

src

Revamp deploy.py

2020-03-11 17:54:37 +01:00

build.rs

Revamp deploy.py

2020-03-11 17:54:37 +01:00

Cargo.toml

Revamp deploy.py

2020-03-11 17:54:37 +01:00

layout.ld

Revamp deploy.py

2020-03-11 17:54:37 +01:00

Makefile

Rely on Makefile to build Tock OS

2020-03-11 18:20:18 +01:00