tree 7788bc62f7fbaf6afdd1207bd9f0d128c11ddf98
parent 92aa067a13433a4f53748030ef224bf4b50576b9
author Sam Leffler <sleffler@google.com> 1731956606 -0800
committer Sam Leffler <sleffler@google.com> 1732043539 +0000

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