Unlike Raspbery Pi, we wrote the coldcard bootloader, it's fully verifiable. I recommend reading the code in addition to docs. https://github.com/coldcard/firmware

Reply to this note

Please Login to reply.

Discussion

The entire problem is that the bootloader has to be trusted with attesting what it is.

So you can look at the bootloader software but you’re trusting the software to tell you what it’s doing accurately?

Yes, the only way you can verify it with custom firmware is to ask the bootloader itself for its hash from the docs.