Sync with upstream Tock to have reproducible builds.

2020-04-08 15:09:18 +02:00
parent 690db41dc6
commit 4b9486d0bd
21 changed files with 87 additions and 110 deletions
--- a/setup.sh
+++ b/setup.sh
@@ -46,6 +46,11 @@ EOF
  exit 1
 }

+# Copy additional boards to the kernel.
+echo -n '[-] Copying additional boards to Tock... '
+cp -r boards/* third_party/tock/boards
+echo $done_text
+
 # Apply patches to kernel. Do that in a sub-shell
 (
  cd third_party/tock/ && \