I have Linaro Linux running on my Zedboard platform. There is a piece of hardware running on the FPGA that is getting confused with the lots of SEV instructions being executed by the other components on the board (e.g., Linux kernel and probably other components).
I understand that Linux uses SEV/WFE to implement lock routines. However, I wonder if there is a way to configure the kernel to use other synchronization mechanism and thus disable the execution of these SEV instructions?