Hello tboot-devel. I'm posting this here because I'm not too confident in getting a reply from the Intel TXT developer forums.
I'm doing some experimenting with TXT in my own driver. When I issue the GETSEC[SENTER] command, the system crashes as I expect (since I don't think I have everything set up right yet), but confusingly there is no error code to tell me what I'm doing wrong and help me move forward.
I read physical memory addresses 0xFED3000 + 8 (TXT.ESTS - Error Status) and address 0xFED30000 + 0x30 (TXT.ERRORCODE) both before and after a soft reset. But both values are still set to 0.
Can you please explain under what conditions these fields would not be updated on SENTER crash?
I'm currently using the i5_i7_DUAL-SINIT_51 SINIT file.
Thank you very much.