Commit Graph

415 Commits

Author SHA1 Message Date
Julien Cretin
0a5c5eafda Update reproducible hashes 2020-05-15 19:55:51 +02:00
Julien Cretin
4e3162c475 Parse credentials by value 2020-05-15 19:43:37 +02:00
Julien Cretin
721a5ba08b Update reproducible hashes 2020-05-14 21:48:55 +02:00
Julien Cretin
2515559945 Merge branch 'master' into proto 2020-05-14 21:37:24 +02:00
Julien Cretin
146e6f083b Don't rely on unification for array element type 2020-05-14 21:32:16 +02:00
Julien Cretin
e51e214f2c Update reproducible hashes 2020-05-14 20:36:47 +02:00
Julien Cretin
a41f7f93f1 Merge branch 'master' into no_wfr 2020-05-14 20:28:39 +02:00
Julien Cretin
ba5caf0691 Filter syscall at platform-level instead of driver-level 2020-05-14 20:19:21 +02:00
Fabian Kaczmarczyck
8d737b3c80 introduces a default level for credProtect 2020-05-13 18:49:35 +02:00
gendx
af79d92a88 Merge pull request #94 from gendx/reproducible-check
Add GitHub workflow to check that binaries are reproducible.
2020-05-13 17:48:23 +02:00
Fabian Kaczmarczyck
43d77fd106 implements the credProtect extension 2020-05-13 16:38:14 +02:00
Julien Cretin
cf31110922 Define the storage locations in the board 2020-05-13 15:17:35 +02:00
Guillaume Endignoux
0604be61a6 Don't fail fast on reproducible workflow and update reference binaries. 2020-05-13 13:24:34 +02:00
Guillaume Endignoux
39a3becffb Address review comments. 2020-05-13 12:57:20 +02:00
Julien Cretin
ca6f910c26 Remove unknown fields 2020-05-13 11:09:32 +02:00
Guillaume Endignoux
20f65f9dd7 Add GitHub workflow to check that binaries are reproducible. 2020-05-12 17:41:27 +02:00
Julien Cretin
479de32a95 Rename $initial to $map 2020-05-11 16:40:11 +02:00
Julien Cretin
491721b421 Rename extend_cbor_map_options 2020-05-11 16:07:59 +02:00
Julien Cretin
e6fdcacd32 Remove mention to protobuf 2020-05-11 15:18:27 +02:00
Julien Cretin
f4b791ed91 Encode credentials as a protocol buffer message
This permits to decode a credential of a different version without failing.
2020-05-09 20:57:13 +02:00
Julien Cretin
ecf02eb6ce Only store the storage location in the Kernel 2020-05-08 17:00:59 +02:00
Julien Cretin
3edb387615 Remove writable flash regions support
Removing support for writable flash regions permits to save 1 page in the binary
due to alignment constraints. It also permits to reduce the diff with libtock-rs
which doesn't support writable flash regions.

This commit also updates the `SyscallStorage` documentation.
2020-05-06 15:18:27 +02:00
Julien Cretin
1f22004133 Merge branch 'master' into no_wfr 2020-04-30 16:18:41 +02:00
Julien Cretin
a2eff7c632 Merge pull request #105 from ia0/rename_layout
Rename linker script according to the chip
2020-04-30 16:17:14 +02:00
Julien Cretin
fb0b1db759 Rename linker script according to the chip
The layout applies to all boards sharing the nrf52840 chip.
2020-04-30 16:04:28 +02:00
Julien Cretin
718514d207 Merge branch 'master' into no_wfr 2020-04-29 15:12:39 +02:00
Julien Cretin
5c2b72ce83 Move storage bound checking to driver 2020-04-29 15:09:50 +02:00
kaczmarczyck
bd6870845a Merge pull request #96 from kaczmarczyck/info-2-1
add 2.1 features to GetInfo
2020-04-29 14:50:23 +02:00
kaczmarczyck
c2ccfcfd98 Merge branch 'master' into info-2-1 2020-04-29 14:41:42 +02:00
Jean-Michel Picod
1ad3df42dc Merge pull request #104 from jmichelp/master
Add missing parameter that got introduced in tockloader 1.4
2020-04-29 14:17:16 +02:00
Jean-Michel Picod
999e331306 Add missing paramter that got introduced in tockloader 1.4 2020-04-29 14:05:06 +02:00
Jean-Michel Picod
86b976dc73 Merge pull request #102 from jmichelp/master
Adjust yapf formatter
2020-04-29 14:04:36 +02:00
Julien Cretin
88920035fa Permit the app to read the storage 2020-04-29 13:50:42 +02:00
Julien Cretin
892f950cc1 Add missing cfg 2020-04-29 12:59:22 +02:00
Julien Cretin
6247098069 Do not use writeable flash regions for persistent storage
They don't play well with DFU.
2020-04-29 12:52:31 +02:00
gendx
01047a0ae4 Merge branch 'master' into master 2020-04-29 12:11:28 +02:00
Jean-Michel Picod
ca15ea4323 Fix formatting 2020-04-29 11:48:12 +02:00
Jean-Michel Picod
8211df81d5 Adjust regexp 2020-04-29 11:46:52 +02:00
Jean-Michel Picod
8e182b9de9 Introduce formatting mistake 2020-04-29 11:40:48 +02:00
Jean-Michel Picod
3e19c7512f Fix missing parentheses in regexp 2020-04-29 11:40:14 +02:00
Jean-Michel Picod
674c4c1b9a Fixing yapf matcher 2020-04-29 11:38:33 +02:00
Jean-Michel Picod
2e35d0074a Introduce formatting error to test yapf 2020-04-29 11:05:28 +02:00
Fabian Kaczmarczyck
8bbf42623f adds cargo checks and tests to workflows and locally 2020-04-29 09:53:44 +02:00
gendx
20674c518e Merge pull request #101 from gendx/verbose-build
Add a --verbose-build option to the deploy script.
2020-04-28 18:40:14 +02:00
Jean-Michel Picod
332d7bc2ea Update yapf matcher.
Extracting the diff is not very useful because messages are not
concatenated. The line/column info is also not useful because the
diff includes some context lines.
2020-04-28 18:36:04 +02:00
Jean-Michel Picod
a611496497 Force format error to test yapf matcher 2020-04-28 18:27:05 +02:00
Jean-Michel Picod
32f0090888 Try to fix yapf matcher 2020-04-28 18:24:46 +02:00
Guillaume Endignoux
c780d76613 Append. 2020-04-28 18:04:41 +02:00
Guillaume Endignoux
e838356f3b Revert review suggestion.
No, we don't want to run: Command '['rustup', '-', '-', 'v', 'e', 'r', 'b', 'o', 's', 'e', 'install', 'nightly-2020-02-03']'
2020-04-28 18:00:42 +02:00
Guillaume Endignoux
dc088479db Fix review comments. 2020-04-28 17:57:10 +02:00