sencha: update CHERIoT toolchain headers

Install our hand-crafted includes for baremetal compilation in the
pre-built toolchain. The concensus was to not leave this to the toolchain,
though most are just copied from there.

NB: the install glue is setup to handle multiple versions by
  duplicating the pathnames. For now we install them as though
  they are for the v13 toolchain, knowing that the build glue
  (in hw/matcha) will find them for the v17 toolchain also.

Bypass-Presubmit-Reason: no CI tests; used to build the current cheriot toolchain

Change-Id: I8a7eaa01e00e288fd6ff3a17c9613cb89d9c5181
18 files changed
tree: 7788bc62f7fbaf6afdd1207bd9f0d128c11ddf98
  1. patches/
  2. platforms/
  3. cantrip.mk
  4. cantrip_apps.mk
  5. cantrip_builtins.mk
  6. cantrip_sel4test.mk
  7. cantrip_tests.mk
  8. cantrip_tools.mk
  9. CONTRIBUTING.md
  10. cores.mk
  11. helpmemake.awk
  12. LICENSE
  13. Makefile
  14. minisel.mk
  15. preamble.mk
  16. README.md
  17. setup.sh
  18. shodan.code-workspace
  19. toolchain.mk
  20. verilator.mk
README.md

Top Level Build repository

This is the project containing all the top-level build targets of all the projects within the GoB to set up the environment and build the e2e artifacts.