Open stintel opened 1 month ago
For those running into the same issue: I was able to get around it by disabling Spacemit K1pro support and enabling Spacemit K1x support and Spacemit K1x board evb in menuconfig.
To start menuconfig:
make PLATFORM=generic menuconfig
Then enable/disable things under Platform Options.
Unable to build OpenSBI for the K1: