kaczmarczyck
|
ce0ee6c054
|
Kernel minimization (#334)
* adds patch to remove unused kernel components
* new boards, rebase patches to match
* rename boards for deployment
|
2021-06-28 14:55:20 +02:00 |
|
Guillaume Endignoux
|
c73492aae5
|
Checkout with submodules.
|
2020-08-07 15:09:07 +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
|
4b9486d0bd
|
Sync with upstream Tock to have reproducible builds.
|
2020-04-08 15:45:46 +02:00 |
|
Jean-Michel Picod
|
0e1c76455d
|
Address review round #2
|
2020-03-12 12:12:45 +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
|
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 |
|