tree 496dd3447dbb29e22b1a669425d42615e2df1337
parent 488e57dadf4e1c760ea58fc1a9c9e8ea0b442d8a
author Sam Leffler <sleffler@google.com> 1731949819 -0800
committer Sam Leffler <sleffler@google.com> 1731965189 +0000

CHERIoT: enable using either v13 or v17 toolchain

Bypass-Presubmit-Reason: tested together with other cl's

Change-Id: I685318f770785899373617d2b9791b32a2782de4