OLD | NEW |
1 #include <stdio.h> | 1 #include <stdio.h> |
2 | 2 |
3 #include "firmware_image_fw.h" | 3 #include "firmware_image_fw.h" |
4 #include "kernel_image_fw.h" | 4 #include "kernel_image_fw.h" |
5 #include "load_kernel_fw.h" | 5 #include "load_kernel_fw.h" |
6 #include "rollback_index.h" | 6 #include "rollback_index.h" |
7 #include "tlcl.h" | 7 #include "tlcl.h" |
8 | 8 |
9 int main(void) | 9 int main(void) |
10 { | 10 { |
11 | 11 |
12 // firmware_image_fw.h | 12 // firmware_image_fw.h |
13 VerifyFirmwareHeader(0, 0, 0, 0); | 13 VerifyFirmwareHeader(0, 0, 0, 0); |
14 VerifyFirmwarePreamble(0, 0, 0, 0); | 14 VerifyFirmwarePreamble(0, 0, 0, 0); |
15 VerifyFirmwareData(0, 0, 0, 0, 0); | 15 VerifyFirmwareData(0, 0, 0, 0, 0); |
16 VerifyFirmware(0, 0, 0); | 16 VerifyFirmware(0, 0, 0); |
17 GetLogicalFirmwareVersion(0); | 17 GetLogicalFirmwareVersion(0); |
18 VerifyFirmwareDriver_f(0, 0, 0, 0, 0); | 18 VerifyFirmwareDriver_f(0, 0, 0, 0, 0); |
19 | 19 |
20 // kernel_image_fw.h | 20 // kernel_image_fw.h |
21 VerifyKernelKeyHeader(0, 0, 0, 0, 0, 0); | 21 VerifyKernelKeyHeader(0, 0, 0, 0, 0, 0); |
22 VerifyKernelPreamble(0, 0, 0, 0); | 22 VerifyKernelPreamble(0, 0, 0, 0); |
23 VerifyKernelData(0, 0, 0, 0, 0); | 23 VerifyKernelData(0, 0, 0, 0, 0); |
24 VerifyKernelHeader(0, 0, 0, 0, 0, 0, 0, 0); | 24 VerifyKernelHeader(0, 0, 0, 0, 0, 0, 0); |
25 VerifyKernel(0, 0, 0); | 25 VerifyKernel(0, 0, 0); |
26 GetLogicalKernelVersion(0); | 26 GetLogicalKernelVersion(0); |
27 VerifyKernelDriver_f(0, 0, 0, 0); | 27 VerifyKernelDriver_f(0, 0, 0, 0); |
28 | 28 |
29 // load_kernel_fw.h | 29 // load_kernel_fw.h |
30 // FIXME: LoadKernel(0); | 30 // FIXME: LoadKernel(0); |
31 | 31 |
32 // rollback_index.h | 32 // rollback_index.h |
33 SetupTPM(); | 33 SetupTPM(); |
34 GetStoredVersion(0); | 34 GetStoredVersion(0); |
(...skipping 12 matching lines...) Expand all Loading... |
47 TlclAssertPhysicalPresence(); | 47 TlclAssertPhysicalPresence(); |
48 TlclSetNvLocked(); | 48 TlclSetNvLocked(); |
49 TlclIsOwned(); | 49 TlclIsOwned(); |
50 TlclForceClear(); | 50 TlclForceClear(); |
51 TlclPhysicalEnable(); | 51 TlclPhysicalEnable(); |
52 TlclPhysicalSetDeactivated(0); | 52 TlclPhysicalSetDeactivated(0); |
53 TlclGetFlags(0, 0); | 53 TlclGetFlags(0, 0); |
54 | 54 |
55 return 0; | 55 return 0; |
56 } | 56 } |
OLD | NEW |