Index: src/platform/vboot_reference/vboot_firmware/linktest/main.c |
diff --git a/src/platform/vboot_reference/vboot_firmware/linktest/main.c b/src/platform/vboot_reference/vboot_firmware/linktest/main.c |
new file mode 100644 |
index 0000000000000000000000000000000000000000..e2eb4d1316c2ca5e4139f007306d476e3cee1486 |
--- /dev/null |
+++ b/src/platform/vboot_reference/vboot_firmware/linktest/main.c |
@@ -0,0 +1,55 @@ |
+#include <stdio.h> |
+ |
+#include "firmware_image_fw.h" |
+#include "kernel_image_fw.h" |
+#include "load_kernel_fw.h" |
+#include "rollback_index.h" |
+#include "tlcl.h" |
+ |
+int main(void) |
+{ |
+ |
+ // firmware_image_fw.h |
+ VerifyFirmwareHeader(0, 0, 0, 0); |
+ VerifyFirmwarePreamble(0, 0, 0, 0); |
+ VerifyFirmwareData(0, 0, 0, 0, 0); |
+ VerifyFirmware(0, 0, 0); |
+ GetLogicalFirmwareVersion(0); |
+ VerifyFirmwareDriver_f(0, 0, 0, 0, 0); |
+ |
+ // kernel_image_fw.h |
+ VerifyKernelHeader(0, 0, 0, 0, 0, 0); |
+ VerifyKernelConfig(0, 0, 0, 0); |
+ VerifyKernelData(0, 0, 0, 0, 0); |
+ VerifyKernel(0, 0, 0); |
+ GetLogicalKernelVersion(0); |
+ VerifyKernelDriver_f(0, 0, 0, 0); |
+ |
+ // load_kernel_fw.h |
+ // FIXME: LoadKernel(0); |
+ |
+ // rollback_index.h |
+ SetupTPM(); |
+ GetStoredVersion(0); |
+ WriteStoredVersion(0, 0); |
+ LockStoredVersion(0); |
+ |
+ // tlcl.h |
+ TlclLibinit(); |
+ TlclStartup(); |
+ TlclSelftestfull(); |
+ TlclDefineSpace(0, 0, 0); |
+ TlclWrite(0, 0, 0); |
+ TlclRead(0, 0, 0); |
+ TlclWriteLock(0); |
+ TlclReadLock(0); |
+ TlclAssertPhysicalPresence(); |
+ TlclSetNvLocked(); |
+ TlclIsOwned(); |
+ TlclForceClear(); |
+ TlclPhysicalEnable(); |
+ TlclPhysicalSetDeactivated(0); |
+ TlclGetFlags(0, 0); |
+ |
+ return 0; |
+} |