tree 3bb9fb5504bd65da5352604ad1fde17299f76603
parent b26250c6c75bd0dc6295788c41e0936c0ad2ef39
author Nathaniel Wesley Filardo <wes.filardo@scisemi.com> 1731340848 +0000
committer Nathaniel Wesley Filardo <VP331RHQ115POU58JFRLKB7OPA0L18E3@cmx.ietfng.org> 1731347831 +0000

NFC CHERI: move sealing type definitions to C

Extract the source of truth from loader/boot.cc to a new C enum in
cheri.h and redefine the loader's enum in terms of the latter.