Guillaume Endignoux
e6e04dd173
Sync upstream kernel to get reproducible builds.
2020-03-12 18:35:08 +01:00
kaczmarczyck
811224913f
Merge branch 'master' into HMAC-secret-extension
2020-03-12 16:53:47 +01:00
Fabian Kaczmarczyck
db6be4efac
apply suggestions: Vec to slice, if let to match, comments
2020-03-12 16:38:00 +01:00
Fabian Kaczmarczyck
8d52e8aad7
adding HMAC-secret support
2020-03-12 16:37:48 +01:00
Jean-Michel Picod
ec1ce661d3
Merge pull request #78 from jmichelp/master
...
Revamp deploy.py
2020-03-12 13:44:11 +01:00
Jean-Michel Picod
93bc8da326
Fix missing directory
2020-03-12 13:35:43 +01: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
0e1c76455d
Address review round #2
2020-03-12 12:12:45 +01:00
Jean-Michel Picod
7c5c7b9d05
Ensure we have something to do.
2020-03-11 18:31:09 +01:00
Jean-Michel Picod
4a3ccb48d7
Allow flashing only the kernel without any app.
2020-03-11 18:29:31 +01:00
Jean-Michel Picod
b22832e9c7
Rely on Makefile to build Tock OS
2020-03-11 18:20:18 +01:00
Jean-Michel Picod
550098d560
Remove duplicate patch
2020-03-11 17:54:37 +01:00
Jean-Michel Picod
e87e78acf4
Minor changes (review round 1)
2020-03-11 17:54:37 +01:00
Jean-Michel Picod
9c13d738fd
Fix pylint
2020-03-11 17:54:37 +01:00
Jean-Michel Picod
e63482af1c
Revamp deploy.py
...
Now the script supports more flashing methods:
- JLink (with tockloader)
- OpenOCD (with tockloader)
- pyOCD
- Nordic DFU
- none (will produce an IntelHex file)
Also merged the contributions from:
- Yihui Xiong to support the Makerdiary USB dongle board
- Dennis Geurts to support Nordic DFU
Doc updated accordingly.
Imported 2 patches for Tock kernel:
- 06-add-set_vector_table_offset.patch (upstream tock/tock#1579 )
- 07-nrf52-bootloader.patch (upstream tock/tock#1681 )
2020-03-11 17:54:37 +01:00
gendx
8b146440a5
Merge pull request #77 from gendx/sync-patches
...
Sync patches with upstream Tock.
2020-03-11 17:38:20 +01:00
Guillaume Endignoux
bb7a0ef801
Sync patches with upstream Tock.
2020-03-11 17:04:05 +01:00
Julien Cretin
61a4fb9784
Wipe sensitive data on entry deletion
...
When inserting (or replacing) entries in the store, the data may be marked as
sensitive. When that entry is deleted, the data is wiped by overwritting it with
zeroes. This may cost a few bytes of overhead per entry with sensitive data to
satisfy the constraint that words may only be written twice.
2020-03-10 14:27:07 +01:00
gendx
fa4271104d
Merge pull request #72 from gendx/fix-usb-cancellation
...
Add patch for bidirectional USB endpoints to fix panics in case of cancellation.
2020-03-09 17:32:29 +01:00
Guillaume Endignoux
951268b5f6
Add patch for bidirectional USB endpoints to fix panics in case of cancellation.
2020-03-09 16:38:59 +01:00
Jean-Michel Picod
47bd524c40
Merge pull request #68 from jmichelp/master
...
Fix extraneous globbing in workflows
2020-03-06 14:07:48 +01:00
Jean-Michel Picod
e21c753dd3
Merge branch 'master' into master
2020-03-06 13:36:11 +01:00
gendx
96b1a68f45
Merge pull request #67 from gendx/remove-patch
...
Remove patch
2020-03-06 11:44:25 +01:00
Jean-Michel Picod
9b3eca2c78
Fix extraneous globbing in workflows
2020-03-06 11:35:38 +01:00
Guillaume Endignoux
3af13f1957
Add path protection on push for workflows/boards_build.
...
According to the rules at https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#patterns-to-match-file-paths
2020-03-05 17:12:05 +01:00
Guillaume Endignoux
1fca16316e
Remove paths rules from workflows/boards_build.
2020-03-05 15:31:32 +01:00
Guillaume Endignoux
0036858db9
Increase ROM size in layout.ld so that boards build on long build directories.
2020-03-05 12:33:12 +01:00
Guillaume Endignoux
ed350192c9
Move third_party/tock to a long build directory to catch limits in the linker scripts.
2020-03-05 12:28:01 +01:00
Guillaume Endignoux
eac6f1d0bd
Build boards only when relevant paths are affected.
2020-03-05 12:08:28 +01:00
Guillaume Endignoux
6d323f3c5a
Apply make suggestions.
2020-03-05 12:03:35 +01:00
Guillaume Endignoux
0fe4889624
Add GitHub workflow to build the boards.
2020-03-05 11:50:26 +01:00
Guillaume Endignoux
68ec755936
Add tests that supported boards build properly.
2020-03-05 11:34:45 +01:00
Guillaume Endignoux
bf9e3620ec
Sync with upstream Tock to remove the latest patch.
2020-03-05 11:24:07 +01:00
Julien Cretin
e52a671810
Support storing in RAM instead of flash
...
This permits to run without persistent storage. The benefit is that the board
doesn't implement a the syscall API in Tock. The disadvantage is that rebooting
the key will reset the storage.
2020-03-04 16:24:06 +01:00
gendx
9001cbd864
Merge pull request #63 from gendx/add-debug-allocations
...
Add feature to track allocations in libtock-rs
2020-03-04 13:40:34 +01:00
gendx
c56af05c1b
Merge branch 'master' into add-debug-allocations
2020-03-04 10:20:39 +01:00
Guillaume Endignoux
7703ddb44c
Add comment about AtomicUsize.
2020-03-03 19:32:25 +01:00
Jean-Michel Picod
dbacd7c9e4
Merge pull request #65 from jmichelp/master
...
Make internal python linter happy.
2020-03-03 16:04:55 +01:00
Jean-Michel Picod
740d6658a5
Make internal python linter happy.
...
It seems that our internal linter is stricter than what pylint does.
Fixing the python code to make both happy and tries to fix the gap by
modifying pylintrc configuration file
2020-03-03 14:56:11 +01:00
Jean-Michel Picod
b649433c5f
Merge pull request #64 from jmichelp/master
...
Fix cargo audit workflow
2020-03-03 14:24:38 +01:00
Jean-Michel Picod
2e92227164
Fix cargo audit workflow
...
The env context is only available at the step level, not the job one so
we need to use the github context instead. But the head_ref will only be
populated if we run in a pull_request event. So until we find a better
solution, let's match on the repo URL.
2020-03-03 12:05:38 +01:00
Guillaume Endignoux
9f6207f5a5
Add more cargo check combinations, to include the panic_console and debug_allocations features.
2020-03-02 16:16:55 +01:00
Guillaume Endignoux
0547a02b3f
Typo.
2020-03-02 16:09:33 +01:00
gendx
e52160bb6b
Merge branch 'master' into add-debug-allocations
2020-03-02 16:06:30 +01:00
Guillaume Endignoux
495b32b7e0
Add feature to track allocations in libtock-rs and print statistics to the console.
2020-03-02 16:02:03 +01:00
Jean-Michel Picod
4930bff7f8
Merge pull request #62 from jmichelp/master
...
Fix clippy warnings.
2020-03-02 15:34:49 +01:00
Jean-Michel Picod
1c87efd27a
Fix clippy warnings.
...
Because of libtock-rs we can't run clippy on our codebase. But it could
run at least on `build.rs`.
2020-03-02 15:14:50 +01:00
Jean-Michel Picod
e61e47820c
Merge pull request #61 from jmichelp/master
...
Run everything that Travis-CI is running as Github workflows
2020-03-02 15:07:57 +01:00
Jean-Michel Picod
433103cbc9
Merge branch 'master' into master
2020-03-02 15:01:18 +01:00
