• FizzyOrange@programming.dev
    link
    fedilink
    arrow-up
    3
    ·
    9 hours ago

    Small nit:

    CHERI is even weirder. CHERI pointers store 128-bit capabilities in addition to the 64-bit address we’re used to

    The 128-bit capability (actually 129 since there’s a tag bit) includes the address. It’s 64-bit address + 64-bit metadata + 1-bit tag = 129-bit capability.