> The TCB changes size for ILP32. Yes, but that will be Target_aarch64<32, ...>::TCB_SIZE, as distinct from Target_aarch64<64, ...>::TCB_SIZE. And target->tcb_size() will return whichever one is appropriate. -cary