25 Commits
Author SHA1 Message Date
c1f2551d0d Bump Tock kernel version (#374)
* Bump Tock kernel version

* Update boards to new kernel

* Update patches to new kernel

* Update PR template

* Bump libtock-rs

* Use new layout from libtock-rs

* Fix clippy warnings due to updated toolchain

* Fix new toolchain file format

* Bump elf2tab to v0.7.0

* Fix worklow and setup.sh script to use the TOML rust-toolchain file

* New libtock-rs style of declaring the stack.

* Fix padding in layout file.

The layout from libtock-rs generates invalid flash padding.
The value is 32-bit and therefore setting padding to 0xff yields
0xff000000 instead of 0xffffffff that we want.

* adds tock patch for app break hard fault

* sets in deploy, removed patch 04-mpu-fix

* fixed the if deploy

* fixes indentation

* updates board names in install.md

* fix docs and deploy style

Co-authored-by: Fabian Kaczmarczyck <kaczmarczyck@google.com>
Co-authored-by: kaczmarczyck <43844792+kaczmarczyck@users.noreply.github.com>
2021-09-10 08:32:34 +02:00
Julien Cretin a80ff4279c Install Rust tools with stable compiler
We only need the frozen nightly for Tock (and maybe the app).
2021-08-13 15:31:10 +02:00
Jean-Michel Picod 958d7a29dc Fix config.py tool according to the new API of fido2 python package (#284)
* Fix fido2 API update.

Since fido2 0.8.1 the device descriptor moved to NamedTuple, breaking
our configuration tool.
Code is now updated accordingly and the setup script ensure we're
using the correct version for fido2 package.

* Make Yapf happy

* Fix missing update for fido2 0.9.1

Also split the comment into 2 lines so that the touch is not hidden
at the end of the screen.
2021-02-11 17:44:49 +01:00
Jean-Michel Picod e35c41578e Add configuration tool 2020-12-16 18:22:15 +01:00
Guillaume Endignoux 70482a2f21 Install elf2tab in its own directory. 2020-09-29 12:56:21 +02:00
coelner ef40657c27 install a local elf2tab binary within the repo itself 2020-09-24 12:36:11 +02:00
Jean-Michel Picod 728401b00f Bump elf2tab to 0.6.0 2020-09-01 17:23:26 +02:00
Jean-Michel Picod 8f358b7d81 Move to tockloader 1.5 2020-08-07 16:28:39 +02:00
Guillaume Endignoux 67a7223802 Setup submodules before the rest so that GitHub workflows can find the rust-toolchain. 2020-08-07 15:09:07 +02:00
Guillaume Endignoux e1fd1f2257 Remove obsolete patches for libtock-rs. 2020-08-07 15:09:07 +02:00
Guillaume Endignoux 52d276671d Pin Tockloader to version 1.4, as a temporary workaround until we migrate to 1.5. 2020-07-23 15:06:16 +02:00
Guillaume Endignoux 39a3becffb Address review comments. 2020-05-13 12:57:20 +02:00
Jean-Michel Picod c9773e0f80 Fix dependency on tockloader 1.4
Now that it has been released and pushed to pypi, make sure that
tockloader is at least 1.4 version
2020-04-28 10:02:47 +02:00
Guillaume Endignoux 4b9486d0bd Sync with upstream Tock to have reproducible builds. 2020-04-08 15:45:46 +02:00
Jean-Michel Picod dfe901e87c Adding missing intelhex python library 2020-03-12 13:29:07 +01:00
Jean-Michel Picod 49182c531a Add new python dependency 2020-03-12 13:23:54 +01:00
Jean-Michel Picod 51b0e0f48a Revert debug mode 2020-02-25 09:58:52 +01:00
Jean-Michel Picod 89d15f5759 Fix tput stopping the workflow 2020-02-25 09:36:20 +01:00
Jean-Michel Picod 1113410195 Debug why Github workflow is failing here 2020-02-25 09:27:57 +01:00
Jean-Michel Picod dbde04df45 Fix setup script for Github 2020-02-24 19:34:39 +01:00
Jean-Michel Picod a73837cb59 Fix undefined term in Github workflows 2020-02-24 19:31:37 +01:00
Julien Cretin 53b46ce6d5 Add instructions to re-run setup.sh 2020-02-10 11:30:45 +01:00
Julien Cretin 796261d538 Check that rustup and pip3 are installed
Fixes #25
2020-02-09 16:30:23 +01:00
Jean-Michel ad3a016eee Adding missing shebang 2020-01-31 21:02:09 +01:00
Jean-Michel Picod f91d2fd3db Initial commit 2020-01-30 11:47:29 +01:00