MintTCB -> PrivTCB