Open rmn30 opened 4 days ago
We should probably have this behind a compiler flag just in case it needs to be used for its intended purpose.
We already have a way of requesting the thread ID. I don't think there's any value in making this conditional. The concept of TLS doesn't make sense in CHERIoT and we already have an ABI for compartment-invocation-local storage.
The RISC-V ABI specifies
x4
as the "thread pointer",tp
. I think it's currently unused except in assembly code. We should think about using it as an extra temporary register.