tree dd51e9e8f304c8cb0a5215cf89729229e4f540f3
parent 98ed2a8a38ea24c09e6be25eab7a4270c0e343cd
author Sam Leffler <sleffler@google.com> 1734456003 -0800
committer Sam Leffler <sleffler@google.com> 1734456003 -0800

sencha/bancha: track upstream changes for CHERIoT core version

Change-Id: I49d2e625fbe35f57319b7b2231485019ad0555cb