1 /* Copyright (c) 2012 The Chromium OS Authors. All rights reserved.
2 * Use of this source code is governed by a BSD-style license that can be
3 * found in the LICENSE file.
6 #include "sysincludes.h"
9 #include "load_kernel_fw.h"
10 #include "rollback_index.h"
12 #include "vboot_common.h"
13 #include "vboot_kernel.h"
14 #include "vboot_nvstorage.h"
21 GptNextKernelEntry(0, 0, 0);
22 GptUpdateKernelEntry(0, 0);
24 /* load_kernel_fw.h */
27 /* rollback_index.h */
28 RollbackKernelRead(0);
29 RollbackKernelWrite(0);
30 RollbackKernelLock(0);
36 TlclContinueSelfTest();
37 TlclDefineSpace(0, 0, 0);
45 TlclSetDeactivated(0);
46 TlclGetFlags(0, 0, 0);
49 TlclGetPermissions(0, 0);
51 TlclAssertPhysicalPresence();
56 /* vboot_api.h - entry points INTO vboot_reference */
57 VbSelectAndLoadKernel(0, 0);
65 VerifyMemberInside(0, 0, 0, 0, 0, 0);
66 VerifyPublicKeyInside(0, 0, 0);
67 VerifySignatureInside(0, 0, 0);
68 PublicKeyInit(0, 0, 0);
71 VerifyData(0, 0, 0, 0);
72 VerifyDigest(0, 0, 0);
73 KeyBlockVerify(0, 0, 0, 0);
74 VerifyKernelPreamble(0, 0, 0);
75 VbSharedDataInit(0, 0);
76 VbSharedDataReserve(0, 0);
77 VbSharedDataSetKernelKey(0, 0);