Hello all,
I’m currently working on the SpacemiT K1 baremetal. I have made good progress, I can run my own firmware after the FSBL.
Now, the manual lacks any documentation on the X60 specific CSRs.
I could find defines in OpenSBI’s source code for CSR_MSETUP, CSR_MHCR, CSR_MHINT and CSR_ML2SETUP, but no detail on the various bitfields, and it’s hard from the source code alone to derive that. I see mainly CSR_ML2SETUP being used, with hard-coded values.
Is there any documentation for the CSRs and maybe more about the X60 core itself?
Thanks!