Randall Spangler | 95c4031 | 2011-03-09 15:54:16 -0800 | [diff] [blame] | 1 | /* Copyright (c) 2011 The Chromium OS Authors. All rights reserved. |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 2 | * Use of this source code is governed by a BSD-style license that can be |
| 3 | * found in the LICENSE file. |
| 4 | * |
| 5 | * Functions for loading a kernel from disk. |
| 6 | * (Firmware portion) |
| 7 | */ |
| 8 | |
Randall Spangler | 1b1998d | 2011-07-01 16:12:47 -0700 | [diff] [blame] | 9 | |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 10 | #include "cgptlib.h" |
Bill Richardson | 5deb67f | 2010-07-23 17:22:25 -0700 | [diff] [blame] | 11 | #include "cgptlib_internal.h" |
Randall Spangler | 95c4031 | 2011-03-09 15:54:16 -0800 | [diff] [blame] | 12 | #include "gbb_header.h" |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 13 | #include "load_kernel_fw.h" |
| 14 | #include "rollback_index.h" |
| 15 | #include "utility.h" |
Randall Spangler | e49e8af | 2011-07-08 13:03:32 -0700 | [diff] [blame] | 16 | #include "vboot_api.h" |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 17 | #include "vboot_common.h" |
Randall Spangler | e49e8af | 2011-07-08 13:03:32 -0700 | [diff] [blame] | 18 | #include "vboot_kernel.h" |
| 19 | |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 20 | #define KBUF_SIZE 65536 /* Bytes to read at start of kernel partition */ |
Stefan Reinauer | 55db6a6 | 2011-03-15 16:23:41 -0700 | [diff] [blame] | 21 | #define LOWEST_TPM_VERSION 0xffffffff |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 22 | |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 23 | typedef enum BootMode { |
Randall Spangler | 17c7126 | 2011-03-18 11:24:27 -0700 | [diff] [blame] | 24 | kBootRecovery = 0, /* Recovery firmware, regardless of dev switch position */ |
| 25 | kBootNormal = 1, /* Normal firmware */ |
| 26 | kBootDev = 2 /* Dev firmware AND dev switch is on */ |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 27 | } BootMode; |
| 28 | |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 29 | |
| 30 | /* Allocates and reads GPT data from the drive. The sector_bytes and |
| 31 | * drive_sectors fields should be filled on input. The primary and |
| 32 | * secondary header and entries are filled on output. |
| 33 | * |
| 34 | * Returns 0 if successful, 1 if error. */ |
Randall Spangler | 1b1998d | 2011-07-01 16:12:47 -0700 | [diff] [blame] | 35 | int AllocAndReadGptData(VbExDiskHandle_t disk_handle, GptData* gptdata) { |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 36 | |
| 37 | uint64_t entries_sectors = TOTAL_ENTRIES_SIZE / gptdata->sector_bytes; |
| 38 | |
| 39 | /* No data to be written yet */ |
| 40 | gptdata->modified = 0; |
| 41 | |
| 42 | /* Allocate all buffers */ |
Randall Spangler | e49e8af | 2011-07-08 13:03:32 -0700 | [diff] [blame] | 43 | gptdata->primary_header = (uint8_t*)VbExMalloc(gptdata->sector_bytes); |
| 44 | gptdata->secondary_header = (uint8_t*)VbExMalloc(gptdata->sector_bytes); |
| 45 | gptdata->primary_entries = (uint8_t*)VbExMalloc(TOTAL_ENTRIES_SIZE); |
| 46 | gptdata->secondary_entries = (uint8_t*)VbExMalloc(TOTAL_ENTRIES_SIZE); |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 47 | |
| 48 | if (gptdata->primary_header == NULL || gptdata->secondary_header == NULL || |
| 49 | gptdata->primary_entries == NULL || gptdata->secondary_entries == NULL) |
| 50 | return 1; |
| 51 | |
| 52 | /* Read data from the drive, skipping the protective MBR */ |
Randall Spangler | 1b1998d | 2011-07-01 16:12:47 -0700 | [diff] [blame] | 53 | if (0 != VbExDiskRead(disk_handle, 1, 1, gptdata->primary_header)) |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 54 | return 1; |
Randall Spangler | 1b1998d | 2011-07-01 16:12:47 -0700 | [diff] [blame] | 55 | if (0 != VbExDiskRead(disk_handle, 2, entries_sectors, |
| 56 | gptdata->primary_entries)) |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 57 | return 1; |
Randall Spangler | 1b1998d | 2011-07-01 16:12:47 -0700 | [diff] [blame] | 58 | if (0 != VbExDiskRead(disk_handle, |
| 59 | gptdata->drive_sectors - entries_sectors - 1, |
| 60 | entries_sectors, gptdata->secondary_entries)) |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 61 | return 1; |
Randall Spangler | 1b1998d | 2011-07-01 16:12:47 -0700 | [diff] [blame] | 62 | if (0 != VbExDiskRead(disk_handle, gptdata->drive_sectors - 1, 1, |
| 63 | gptdata->secondary_header)) |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 64 | return 1; |
| 65 | |
| 66 | return 0; |
| 67 | } |
| 68 | |
| 69 | |
| 70 | /* Writes any changes for the GPT data back to the drive, then frees |
| 71 | * the buffers. |
| 72 | * |
| 73 | * Returns 0 if successful, 1 if error. */ |
Randall Spangler | 1b1998d | 2011-07-01 16:12:47 -0700 | [diff] [blame] | 74 | int WriteAndFreeGptData(VbExDiskHandle_t disk_handle, GptData* gptdata) { |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 75 | |
| 76 | uint64_t entries_sectors = TOTAL_ENTRIES_SIZE / gptdata->sector_bytes; |
| 77 | |
| 78 | if (gptdata->primary_header) { |
| 79 | if (gptdata->modified & GPT_MODIFIED_HEADER1) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 80 | VBDEBUG(("Updating GPT header 1\n")); |
Randall Spangler | 1b1998d | 2011-07-01 16:12:47 -0700 | [diff] [blame] | 81 | if (0 != VbExDiskWrite(disk_handle, 1, 1, gptdata->primary_header)) |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 82 | return 1; |
| 83 | } |
Randall Spangler | e49e8af | 2011-07-08 13:03:32 -0700 | [diff] [blame] | 84 | VbExFree(gptdata->primary_header); |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 85 | } |
| 86 | |
| 87 | if (gptdata->primary_entries) { |
| 88 | if (gptdata->modified & GPT_MODIFIED_ENTRIES1) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 89 | VBDEBUG(("Updating GPT entries 1\n")); |
Randall Spangler | 1b1998d | 2011-07-01 16:12:47 -0700 | [diff] [blame] | 90 | if (0 != VbExDiskWrite(disk_handle, 2, entries_sectors, |
| 91 | gptdata->primary_entries)) |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 92 | return 1; |
| 93 | } |
Randall Spangler | e49e8af | 2011-07-08 13:03:32 -0700 | [diff] [blame] | 94 | VbExFree(gptdata->primary_entries); |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 95 | } |
| 96 | |
| 97 | if (gptdata->secondary_entries) { |
| 98 | if (gptdata->modified & GPT_MODIFIED_ENTRIES2) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 99 | VBDEBUG(("Updating GPT header 2\n")); |
Randall Spangler | 1b1998d | 2011-07-01 16:12:47 -0700 | [diff] [blame] | 100 | if (0 != VbExDiskWrite(disk_handle, |
| 101 | gptdata->drive_sectors - entries_sectors - 1, |
| 102 | entries_sectors, gptdata->secondary_entries)) |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 103 | return 1; |
| 104 | } |
Randall Spangler | e49e8af | 2011-07-08 13:03:32 -0700 | [diff] [blame] | 105 | VbExFree(gptdata->secondary_entries); |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 106 | } |
| 107 | |
| 108 | if (gptdata->secondary_header) { |
| 109 | if (gptdata->modified & GPT_MODIFIED_HEADER2) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 110 | VBDEBUG(("Updating GPT entries 2\n")); |
Randall Spangler | 1b1998d | 2011-07-01 16:12:47 -0700 | [diff] [blame] | 111 | if (0 != VbExDiskWrite(disk_handle, gptdata->drive_sectors - 1, 1, |
| 112 | gptdata->secondary_header)) |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 113 | return 1; |
| 114 | } |
Randall Spangler | e49e8af | 2011-07-08 13:03:32 -0700 | [diff] [blame] | 115 | VbExFree(gptdata->secondary_header); |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 116 | } |
| 117 | |
| 118 | /* Success */ |
| 119 | return 0; |
| 120 | } |
| 121 | |
vbendeb | 3ecaf77 | 2010-06-24 16:19:53 -0700 | [diff] [blame] | 122 | /* disable MSVC warning on const logical expression (as in } while(0);) */ |
| 123 | __pragma(warning(disable: 4127)) |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 124 | |
Randall Spangler | bd529f0 | 2010-06-16 12:51:26 -0700 | [diff] [blame] | 125 | int LoadKernel(LoadKernelParams* params) { |
Randall Spangler | 95c4031 | 2011-03-09 15:54:16 -0800 | [diff] [blame] | 126 | VbSharedDataHeader* shared = (VbSharedDataHeader*)params->shared_data_blob; |
Randall Spangler | 17c7126 | 2011-03-18 11:24:27 -0700 | [diff] [blame] | 127 | VbSharedDataKernelCall* shcall = NULL; |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 128 | VbNvContext* vnc = params->nv_context; |
Randall Spangler | 95c4031 | 2011-03-09 15:54:16 -0800 | [diff] [blame] | 129 | GoogleBinaryBlockHeader* gbb = (GoogleBinaryBlockHeader*)params->gbb_data; |
Bill Richardson | e272940 | 2010-07-22 12:23:47 -0700 | [diff] [blame] | 130 | VbPublicKey* kernel_subkey; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 131 | GptData gpt; |
| 132 | uint64_t part_start, part_size; |
Bill Richardson | e272940 | 2010-07-22 12:23:47 -0700 | [diff] [blame] | 133 | uint64_t blba; |
| 134 | uint64_t kbuf_sectors; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 135 | uint8_t* kbuf = NULL; |
| 136 | int found_partitions = 0; |
| 137 | int good_partition = -1; |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 138 | int good_partition_key_block_valid = 0; |
Randall Spangler | 6668028 | 2010-08-16 12:33:44 -0700 | [diff] [blame] | 139 | uint32_t tpm_version = 0; |
Stefan Reinauer | 55db6a6 | 2011-03-15 16:23:41 -0700 | [diff] [blame] | 140 | uint64_t lowest_version = LOWEST_TPM_VERSION; |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 141 | int rec_switch, dev_switch; |
| 142 | BootMode boot_mode; |
Randall Spangler | 99ca346 | 2011-03-15 15:28:31 -0700 | [diff] [blame] | 143 | uint32_t test_err = 0; |
Randall Spangler | 7a786b7 | 2010-07-08 13:29:42 -0700 | [diff] [blame] | 144 | uint32_t status; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 145 | |
Randall Spangler | 0222355 | 2011-03-15 19:20:25 -0700 | [diff] [blame] | 146 | int retval = LOAD_KERNEL_RECOVERY; |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 147 | int recovery = VBNV_RECOVERY_RO_UNSPECIFIED; |
| 148 | |
| 149 | /* Setup NV storage */ |
| 150 | VbNvSetup(vnc); |
| 151 | |
Bill Richardson | e272940 | 2010-07-22 12:23:47 -0700 | [diff] [blame] | 152 | /* Sanity Checks */ |
| 153 | if (!params || |
Bill Richardson | e272940 | 2010-07-22 12:23:47 -0700 | [diff] [blame] | 154 | !params->bytes_per_lba || |
| 155 | !params->ending_lba || |
| 156 | !params->kernel_buffer || |
| 157 | !params->kernel_buffer_size) { |
| 158 | VBDEBUG(("LoadKernel() called with invalid params\n")); |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 159 | goto LoadKernelExit; |
Bill Richardson | e272940 | 2010-07-22 12:23:47 -0700 | [diff] [blame] | 160 | } |
| 161 | |
Randall Spangler | ad6824b | 2011-03-16 19:07:33 -0700 | [diff] [blame] | 162 | /* Clear output params in case we fail */ |
| 163 | params->partition_number = 0; |
| 164 | params->bootloader_address = 0; |
| 165 | params->bootloader_size = 0; |
| 166 | |
Randall Spangler | 17c7126 | 2011-03-18 11:24:27 -0700 | [diff] [blame] | 167 | /* Calculate switch positions and boot mode */ |
| 168 | rec_switch = (BOOT_FLAG_RECOVERY & params->boot_flags ? 1 : 0); |
| 169 | dev_switch = (BOOT_FLAG_DEVELOPER & params->boot_flags ? 1 : 0); |
| 170 | if (rec_switch) |
| 171 | boot_mode = kBootRecovery; |
| 172 | else if (BOOT_FLAG_DEV_FIRMWARE & params->boot_flags) |
| 173 | boot_mode = kBootDev; |
| 174 | else { |
| 175 | /* Normal firmware */ |
| 176 | boot_mode = kBootNormal; |
| 177 | dev_switch = 0; /* Always do a fully verified boot */ |
| 178 | } |
| 179 | |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 180 | /* Set up tracking for this call. This wraps around if called many times, |
| 181 | * so we need to initialize the call entry each time. */ |
| 182 | shcall = shared->lk_calls + (shared->lk_call_count |
| 183 | & (VBSD_MAX_KERNEL_CALLS - 1)); |
| 184 | Memset(shcall, 0, sizeof(VbSharedDataKernelCall)); |
| 185 | shcall->boot_flags = (uint32_t)params->boot_flags; |
| 186 | shcall->boot_mode = boot_mode; |
| 187 | shcall->sector_size = (uint32_t)params->bytes_per_lba; |
| 188 | shcall->sector_count = params->ending_lba + 1; |
| 189 | shared->lk_call_count++; |
Randall Spangler | 17c7126 | 2011-03-18 11:24:27 -0700 | [diff] [blame] | 190 | |
Randall Spangler | 99ca346 | 2011-03-15 15:28:31 -0700 | [diff] [blame] | 191 | /* Handle test errors */ |
| 192 | VbNvGet(vnc, VBNV_TEST_ERROR_FUNC, &test_err); |
| 193 | if (VBNV_TEST_ERROR_LOAD_KERNEL == test_err) { |
| 194 | /* Get error code */ |
| 195 | VbNvGet(vnc, VBNV_TEST_ERROR_NUM, &test_err); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 196 | shcall->test_error_num = (uint8_t)test_err; |
Randall Spangler | 99ca346 | 2011-03-15 15:28:31 -0700 | [diff] [blame] | 197 | /* Clear test params so we don't repeat the error */ |
| 198 | VbNvSet(vnc, VBNV_TEST_ERROR_FUNC, 0); |
| 199 | VbNvSet(vnc, VBNV_TEST_ERROR_NUM, 0); |
| 200 | /* Handle error codes */ |
| 201 | switch (test_err) { |
| 202 | case LOAD_KERNEL_RECOVERY: |
| 203 | recovery = VBNV_RECOVERY_RW_TEST_LK; |
| 204 | goto LoadKernelExit; |
| 205 | case LOAD_KERNEL_NOT_FOUND: |
| 206 | case LOAD_KERNEL_INVALID: |
| 207 | case LOAD_KERNEL_REBOOT: |
| 208 | retval = test_err; |
| 209 | goto LoadKernelExit; |
| 210 | default: |
| 211 | break; |
| 212 | } |
| 213 | } |
| 214 | |
Bill Richardson | e272940 | 2010-07-22 12:23:47 -0700 | [diff] [blame] | 215 | /* Initialization */ |
Bill Richardson | e272940 | 2010-07-22 12:23:47 -0700 | [diff] [blame] | 216 | blba = params->bytes_per_lba; |
| 217 | kbuf_sectors = KBUF_SIZE / blba; |
Randall Spangler | 4bb5e4b | 2010-08-19 09:05:22 -0700 | [diff] [blame] | 218 | if (0 == kbuf_sectors) { |
| 219 | VBDEBUG(("LoadKernel() called with sector size > KBUF_SIZE\n")); |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 220 | goto LoadKernelExit; |
Randall Spangler | 4bb5e4b | 2010-08-19 09:05:22 -0700 | [diff] [blame] | 221 | } |
| 222 | |
Randall Spangler | 17c7126 | 2011-03-18 11:24:27 -0700 | [diff] [blame] | 223 | if (kBootDev == boot_mode && !dev_switch) { |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 224 | /* Dev firmware should be signed such that it never boots with the dev |
| 225 | * switch is off; so something is terribly wrong. */ |
Randall Spangler | c90e7e8 | 2011-05-17 15:27:42 -0700 | [diff] [blame] | 226 | VBDEBUG(("LoadKernel() called with dev firmware but dev switch off\n")); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 227 | shcall->check_result = VBSD_LKC_CHECK_DEV_SWITCH_MISMATCH; |
Randall Spangler | c90e7e8 | 2011-05-17 15:27:42 -0700 | [diff] [blame] | 228 | recovery = VBNV_RECOVERY_RW_DEV_MISMATCH; |
| 229 | goto LoadKernelExit; |
| 230 | } |
Bill Richardson | e272940 | 2010-07-22 12:23:47 -0700 | [diff] [blame] | 231 | |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 232 | if (kBootRecovery == boot_mode) { |
Randall Spangler | 95c4031 | 2011-03-09 15:54:16 -0800 | [diff] [blame] | 233 | /* Use the recovery key to verify the kernel */ |
| 234 | kernel_subkey = (VbPublicKey*)((uint8_t*)gbb + gbb->recovery_key_offset); |
| 235 | |
| 236 | /* Let the TPM know if we're in recovery mode */ |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 237 | if (0 != RollbackKernelRecovery(dev_switch)) { |
Randall Spangler | 63dffcb | 2010-08-05 15:13:14 -0700 | [diff] [blame] | 238 | VBDEBUG(("Error setting up TPM for recovery kernel\n")); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 239 | shcall->flags |= VBSD_LK_FLAG_REC_TPM_INIT_ERROR; |
Randall Spangler | 63dffcb | 2010-08-05 15:13:14 -0700 | [diff] [blame] | 240 | /* Ignore return code, since we need to boot recovery mode to |
| 241 | * fix the TPM. */ |
Randall Spangler | 1078838 | 2010-06-23 15:35:31 -0700 | [diff] [blame] | 242 | } |
Randall Spangler | 5ac39bf | 2011-03-17 17:58:56 -0700 | [diff] [blame] | 243 | |
| 244 | /* Read the key indices from the TPM; ignore any errors */ |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 245 | RollbackFirmwareRead(&shared->fw_version_tpm); |
| 246 | RollbackKernelRead(&shared->kernel_version_tpm); |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 247 | } else { |
Randall Spangler | 95c4031 | 2011-03-09 15:54:16 -0800 | [diff] [blame] | 248 | /* Use the kernel subkey passed from LoadFirmware(). */ |
| 249 | kernel_subkey = &shared->kernel_subkey; |
| 250 | |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 251 | /* Read current kernel key index from TPM. Assumes TPM is already |
| 252 | * initialized. */ |
Randall Spangler | 6668028 | 2010-08-16 12:33:44 -0700 | [diff] [blame] | 253 | status = RollbackKernelRead(&tpm_version); |
Randall Spangler | 7a786b7 | 2010-07-08 13:29:42 -0700 | [diff] [blame] | 254 | if (0 != status) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 255 | VBDEBUG(("Unable to get kernel versions from TPM\n")); |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 256 | if (status == TPM_E_MUST_REBOOT) |
| 257 | retval = LOAD_KERNEL_REBOOT; |
| 258 | else |
| 259 | recovery = VBNV_RECOVERY_RW_TPM_ERROR; |
| 260 | goto LoadKernelExit; |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 261 | } |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 262 | shared->kernel_version_tpm = tpm_version; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 263 | } |
| 264 | |
| 265 | do { |
| 266 | /* Read GPT data */ |
Randall Spangler | beb5bae | 2010-06-21 16:33:26 -0700 | [diff] [blame] | 267 | gpt.sector_bytes = (uint32_t)blba; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 268 | gpt.drive_sectors = params->ending_lba + 1; |
Randall Spangler | 1b1998d | 2011-07-01 16:12:47 -0700 | [diff] [blame] | 269 | if (0 != AllocAndReadGptData(params->disk_handle, &gpt)) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 270 | VBDEBUG(("Unable to read GPT data\n")); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 271 | shcall->check_result = VBSD_LKC_CHECK_GPT_READ_ERROR; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 272 | break; |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 273 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 274 | |
| 275 | /* Initialize GPT library */ |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 276 | if (GPT_SUCCESS != GptInit(&gpt)) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 277 | VBDEBUG(("Error parsing GPT\n")); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 278 | shcall->check_result = VBSD_LKC_CHECK_GPT_PARSE_ERROR; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 279 | break; |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 280 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 281 | |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 282 | /* Allocate kernel header buffers */ |
Randall Spangler | e49e8af | 2011-07-08 13:03:32 -0700 | [diff] [blame] | 283 | kbuf = (uint8_t*)VbExMalloc(KBUF_SIZE); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 284 | if (!kbuf) |
| 285 | break; |
| 286 | |
| 287 | /* Loop over candidate kernel partitions */ |
| 288 | while (GPT_SUCCESS == GptNextKernelEntry(&gpt, &part_start, &part_size)) { |
Randall Spangler | 17c7126 | 2011-03-18 11:24:27 -0700 | [diff] [blame] | 289 | VbSharedDataKernelPart* shpart = NULL; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 290 | VbKeyBlockHeader* key_block; |
| 291 | VbKernelPreambleHeader* preamble; |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 292 | RSAPublicKey* data_key = NULL; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 293 | uint64_t key_version; |
Randall Spangler | 6668028 | 2010-08-16 12:33:44 -0700 | [diff] [blame] | 294 | uint64_t combined_version; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 295 | uint64_t body_offset; |
Randall Spangler | 4bb5e4b | 2010-08-19 09:05:22 -0700 | [diff] [blame] | 296 | uint64_t body_offset_sectors; |
| 297 | uint64_t body_sectors; |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 298 | int key_block_valid = 1; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 299 | |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 300 | VBDEBUG(("Found kernel entry at %" PRIu64 " size %" PRIu64 "\n", |
| 301 | part_start, part_size)); |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 302 | |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 303 | /* Set up tracking for this partition. This wraps around if called |
| 304 | * many times, so initialize the partition entry each time. */ |
| 305 | shpart = shcall->parts + (shcall->kernel_parts_found |
| 306 | & (VBSD_MAX_KERNEL_PARTS - 1)); |
| 307 | Memset(shpart, 0, sizeof(VbSharedDataKernelPart)); |
| 308 | shpart->sector_start = part_start; |
| 309 | shpart->sector_count = part_size; |
| 310 | /* TODO: GPT partitions start at 1, but cgptlib starts them at 0. |
| 311 | * Adjust here, until cgptlib is fixed. */ |
| 312 | shpart->gpt_index = (uint8_t)(gpt.current_kernel + 1); |
| 313 | shcall->kernel_parts_found++; |
Randall Spangler | 17c7126 | 2011-03-18 11:24:27 -0700 | [diff] [blame] | 314 | |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 315 | /* Found at least one kernel partition. */ |
| 316 | found_partitions++; |
| 317 | |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 318 | /* Read the first part of the kernel partition. */ |
Randall Spangler | 77ae389 | 2010-09-09 17:37:51 -0700 | [diff] [blame] | 319 | if (part_size < kbuf_sectors) { |
| 320 | VBDEBUG(("Partition too small to hold kernel.\n")); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 321 | shpart->check_result = VBSD_LKP_CHECK_TOO_SMALL; |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 322 | goto bad_kernel; |
Randall Spangler | 77ae389 | 2010-09-09 17:37:51 -0700 | [diff] [blame] | 323 | } |
| 324 | |
Randall Spangler | 1b1998d | 2011-07-01 16:12:47 -0700 | [diff] [blame] | 325 | if (0 != VbExDiskRead(params->disk_handle, part_start, kbuf_sectors, |
| 326 | kbuf)) { |
Randall Spangler | 77ae389 | 2010-09-09 17:37:51 -0700 | [diff] [blame] | 327 | VBDEBUG(("Unable to read start of partition.\n")); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 328 | shpart->check_result = VBSD_LKP_CHECK_READ_START; |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 329 | goto bad_kernel; |
Randall Spangler | 77ae389 | 2010-09-09 17:37:51 -0700 | [diff] [blame] | 330 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 331 | |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 332 | /* Verify the key block. */ |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 333 | key_block = (VbKeyBlockHeader*)kbuf; |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 334 | if (0 != KeyBlockVerify(key_block, KBUF_SIZE, kernel_subkey, 0)) { |
| 335 | VBDEBUG(("Verifying key block signature failed.\n")); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 336 | shpart->check_result = VBSD_LKP_CHECK_KEY_BLOCK_SIG; |
Randall Spangler | 17c7126 | 2011-03-18 11:24:27 -0700 | [diff] [blame] | 337 | |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 338 | key_block_valid = 0; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 339 | |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 340 | /* If we're not in developer mode, this kernel is bad. */ |
| 341 | if (kBootDev != boot_mode) |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 342 | goto bad_kernel; |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 343 | |
| 344 | /* In developer mode, we can continue if the SHA-512 hash of the key |
| 345 | * block is valid. */ |
| 346 | if (0 != KeyBlockVerify(key_block, KBUF_SIZE, kernel_subkey, 1)) { |
| 347 | VBDEBUG(("Verifying key block hash failed.\n")); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 348 | shpart->check_result = VBSD_LKP_CHECK_KEY_BLOCK_HASH; |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 349 | goto bad_kernel; |
Randall Spangler | ae029d9 | 2010-07-19 18:26:35 -0700 | [diff] [blame] | 350 | } |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 351 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 352 | |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 353 | /* Check the key block flags against the current boot mode. */ |
| 354 | if (!(key_block->key_block_flags & |
| 355 | (dev_switch ? KEY_BLOCK_FLAG_DEVELOPER_1 : |
| 356 | KEY_BLOCK_FLAG_DEVELOPER_0))) { |
| 357 | VBDEBUG(("Key block developer flag mismatch.\n")); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 358 | shpart->check_result = VBSD_LKP_CHECK_DEV_MISMATCH; |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 359 | key_block_valid = 0; |
| 360 | } |
| 361 | if (!(key_block->key_block_flags & |
| 362 | (rec_switch ? KEY_BLOCK_FLAG_RECOVERY_1 : |
| 363 | KEY_BLOCK_FLAG_RECOVERY_0))) { |
| 364 | VBDEBUG(("Key block recovery flag mismatch.\n")); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 365 | shpart->check_result = VBSD_LKP_CHECK_REC_MISMATCH; |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 366 | key_block_valid = 0; |
| 367 | } |
| 368 | |
| 369 | /* Check for rollback of key version except in recovery mode. */ |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 370 | key_version = key_block->data_key.key_version; |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 371 | if (kBootRecovery != boot_mode) { |
| 372 | if (key_version < (tpm_version >> 16)) { |
| 373 | VBDEBUG(("Key version too old.\n")); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 374 | shpart->check_result = VBSD_LKP_CHECK_KEY_ROLLBACK; |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 375 | key_block_valid = 0; |
| 376 | } |
| 377 | } |
| 378 | |
| 379 | /* If we're not in developer mode, require the key block to be valid. */ |
| 380 | if (kBootDev != boot_mode && !key_block_valid) { |
| 381 | VBDEBUG(("Key block is invalid.\n")); |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 382 | goto bad_kernel; |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 383 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 384 | |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 385 | /* Get the key for preamble/data verification from the key block. */ |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 386 | data_key = PublicKeyToRSA(&key_block->data_key); |
Randall Spangler | 77ae389 | 2010-09-09 17:37:51 -0700 | [diff] [blame] | 387 | if (!data_key) { |
| 388 | VBDEBUG(("Data key bad.\n")); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 389 | shpart->check_result = VBSD_LKP_CHECK_DATA_KEY_PARSE; |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 390 | goto bad_kernel; |
Randall Spangler | 77ae389 | 2010-09-09 17:37:51 -0700 | [diff] [blame] | 391 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 392 | |
| 393 | /* Verify the preamble, which follows the key block */ |
| 394 | preamble = (VbKernelPreambleHeader*)(kbuf + key_block->key_block_size); |
Randall Spangler | 87c13d8 | 2010-07-19 10:35:40 -0700 | [diff] [blame] | 395 | if ((0 != VerifyKernelPreamble(preamble, |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 396 | KBUF_SIZE - key_block->key_block_size, |
| 397 | data_key))) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 398 | VBDEBUG(("Preamble verification failed.\n")); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 399 | shpart->check_result = VBSD_LKP_CHECK_VERIFY_PREAMBLE; |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 400 | goto bad_kernel; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 401 | } |
| 402 | |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 403 | /* If the key block is valid and we're not in recovery mode, check for |
| 404 | * rollback of the kernel version. */ |
Randall Spangler | 6668028 | 2010-08-16 12:33:44 -0700 | [diff] [blame] | 405 | combined_version = ((key_version << 16) | |
| 406 | (preamble->kernel_version & 0xFFFF)); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 407 | shpart->combined_version = (uint32_t)combined_version; |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 408 | if (key_block_valid && kBootRecovery != boot_mode) { |
| 409 | if (combined_version < tpm_version) { |
| 410 | VBDEBUG(("Kernel version too low.\n")); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 411 | shpart->check_result = VBSD_LKP_CHECK_KERNEL_ROLLBACK; |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 412 | /* If we're not in developer mode, kernel version must be valid. */ |
| 413 | if (kBootDev != boot_mode) |
| 414 | goto bad_kernel; |
| 415 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 416 | } |
| 417 | |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 418 | VBDEBUG(("Kernel preamble is good.\n")); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 419 | shpart->check_result = VBSD_LKP_CHECK_PREAMBLE_VALID; |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 420 | |
Randall Spangler | 6668028 | 2010-08-16 12:33:44 -0700 | [diff] [blame] | 421 | /* Check for lowest version from a valid header. */ |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 422 | if (key_block_valid && lowest_version > combined_version) |
Randall Spangler | 6668028 | 2010-08-16 12:33:44 -0700 | [diff] [blame] | 423 | lowest_version = combined_version; |
Stefan Reinauer | 55db6a6 | 2011-03-15 16:23:41 -0700 | [diff] [blame] | 424 | else { |
| 425 | VBDEBUG(("Key block valid: %d\n", key_block_valid)); |
| 426 | VBDEBUG(("Combined version: %" PRIu64 "\n", combined_version)); |
| 427 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 428 | |
| 429 | /* If we already have a good kernel, no need to read another |
| 430 | * one; we only needed to look at the versions to check for |
Randall Spangler | 77ae389 | 2010-09-09 17:37:51 -0700 | [diff] [blame] | 431 | * rollback. So skip to the next kernel preamble. */ |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 432 | if (-1 != good_partition) |
Randall Spangler | 77ae389 | 2010-09-09 17:37:51 -0700 | [diff] [blame] | 433 | continue; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 434 | |
| 435 | /* Verify body load address matches what we expect */ |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 436 | if ((preamble->body_load_address != (size_t)params->kernel_buffer) && |
| 437 | !(params->boot_flags & BOOT_FLAG_SKIP_ADDR_CHECK)) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 438 | VBDEBUG(("Wrong body load address.\n")); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 439 | shpart->check_result = VBSD_LKP_CHECK_BODY_ADDRESS; |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 440 | goto bad_kernel; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 441 | } |
| 442 | |
| 443 | /* Verify kernel body starts at a multiple of the sector size. */ |
| 444 | body_offset = key_block->key_block_size + preamble->preamble_size; |
| 445 | if (0 != body_offset % blba) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 446 | VBDEBUG(("Kernel body not at multiple of sector size.\n")); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 447 | shpart->check_result = VBSD_LKP_CHECK_BODY_OFFSET; |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 448 | goto bad_kernel; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 449 | } |
Randall Spangler | 4bb5e4b | 2010-08-19 09:05:22 -0700 | [diff] [blame] | 450 | body_offset_sectors = body_offset / blba; |
| 451 | |
| 452 | /* Verify kernel body fits in the buffer */ |
| 453 | body_sectors = (preamble->body_signature.data_size + blba - 1) / blba; |
| 454 | if (body_sectors * blba > params->kernel_buffer_size) { |
| 455 | VBDEBUG(("Kernel body doesn't fit in memory.\n")); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 456 | shpart->check_result = VBSD_LKP_CHECK_BODY_EXCEEDS_MEM; |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 457 | goto bad_kernel; |
Randall Spangler | 4bb5e4b | 2010-08-19 09:05:22 -0700 | [diff] [blame] | 458 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 459 | |
| 460 | /* Verify kernel body fits in the partition */ |
Randall Spangler | 4bb5e4b | 2010-08-19 09:05:22 -0700 | [diff] [blame] | 461 | if (body_offset_sectors + body_sectors > part_size) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 462 | VBDEBUG(("Kernel body doesn't fit in partition.\n")); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 463 | shpart->check_result = VBSD_LKP_CHECK_BODY_EXCEEDS_PART; |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 464 | goto bad_kernel; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 465 | } |
| 466 | |
| 467 | /* Read the kernel data */ |
Randall Spangler | 6078ca3 | 2010-10-18 15:49:28 -0700 | [diff] [blame] | 468 | VBPERFSTART("VB_RKD"); |
Randall Spangler | 1b1998d | 2011-07-01 16:12:47 -0700 | [diff] [blame] | 469 | if (0 != VbExDiskRead(params->disk_handle, |
| 470 | part_start + body_offset_sectors, |
| 471 | body_sectors, params->kernel_buffer)) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 472 | VBDEBUG(("Unable to read kernel data.\n")); |
Randall Spangler | 6078ca3 | 2010-10-18 15:49:28 -0700 | [diff] [blame] | 473 | VBPERFEND("VB_RKD"); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 474 | shpart->check_result = VBSD_LKP_CHECK_READ_DATA; |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 475 | goto bad_kernel; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 476 | } |
Randall Spangler | 6078ca3 | 2010-10-18 15:49:28 -0700 | [diff] [blame] | 477 | VBPERFEND("VB_RKD"); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 478 | |
| 479 | /* Verify kernel data */ |
| 480 | if (0 != VerifyData((const uint8_t*)params->kernel_buffer, |
Randall Spangler | 87c13d8 | 2010-07-19 10:35:40 -0700 | [diff] [blame] | 481 | params->kernel_buffer_size, |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 482 | &preamble->body_signature, data_key)) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 483 | VBDEBUG(("Kernel data verification failed.\n")); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 484 | shpart->check_result = VBSD_LKP_CHECK_VERIFY_DATA; |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 485 | goto bad_kernel; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 486 | } |
| 487 | |
| 488 | /* Done with the kernel signing key, so can free it now */ |
| 489 | RSAPublicKeyFree(data_key); |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 490 | data_key = NULL; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 491 | |
| 492 | /* If we're still here, the kernel is valid. */ |
| 493 | /* Save the first good partition we find; that's the one we'll boot */ |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 494 | VBDEBUG(("Partition is good.\n")); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 495 | shpart->check_result = VBSD_LKP_CHECK_KERNEL_GOOD; |
| 496 | if (key_block_valid) |
| 497 | shpart->flags |= VBSD_LKP_FLAG_KEY_BLOCK_VALID; |
Randall Spangler | 17c7126 | 2011-03-18 11:24:27 -0700 | [diff] [blame] | 498 | |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 499 | good_partition_key_block_valid = key_block_valid; |
Randall Spangler | beb5bae | 2010-06-21 16:33:26 -0700 | [diff] [blame] | 500 | /* TODO: GPT partitions start at 1, but cgptlib starts them at 0. |
| 501 | * Adjust here, until cgptlib is fixed. */ |
| 502 | good_partition = gpt.current_kernel + 1; |
Randall Spangler | b9d60a5 | 2010-06-23 12:43:01 -0700 | [diff] [blame] | 503 | params->partition_number = gpt.current_kernel + 1; |
Bill Richardson | 5deb67f | 2010-07-23 17:22:25 -0700 | [diff] [blame] | 504 | GetCurrentKernelUniqueGuid(&gpt, ¶ms->partition_guid); |
Randall Spangler | 63dffcb | 2010-08-05 15:13:14 -0700 | [diff] [blame] | 505 | /* TODO: GetCurrentKernelUniqueGuid() should take a destination size, or |
| 506 | * the dest should be a struct, so we know it's big enough. */ |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 507 | params->bootloader_address = preamble->bootloader_address; |
| 508 | params->bootloader_size = preamble->bootloader_size; |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 509 | |
| 510 | /* Update GPT to note this is the kernel we're trying */ |
| 511 | GptUpdateKernelEntry(&gpt, GPT_UPDATE_ENTRY_TRY); |
| 512 | |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 513 | /* If we're in recovery mode or we're about to boot a dev-signed kernel, |
| 514 | * there's no rollback protection, so we can stop at the first valid |
| 515 | * kernel. */ |
| 516 | if (kBootRecovery == boot_mode || !key_block_valid) { |
| 517 | VBDEBUG(("In recovery mode or dev-signed kernel\n")); |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 518 | break; |
Randall Spangler | beb5bae | 2010-06-21 16:33:26 -0700 | [diff] [blame] | 519 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 520 | |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 521 | /* Otherwise, we do care about the key index in the TPM. If the good |
| 522 | * partition's key version is the same as the tpm, then the TPM doesn't |
| 523 | * need updating; we can stop now. Otherwise, we'll check all the other |
| 524 | * headers to see if they contain a newer key. */ |
Randall Spangler | 6668028 | 2010-08-16 12:33:44 -0700 | [diff] [blame] | 525 | if (combined_version == tpm_version) { |
| 526 | VBDEBUG(("Same kernel version\n")); |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 527 | break; |
Randall Spangler | beb5bae | 2010-06-21 16:33:26 -0700 | [diff] [blame] | 528 | } |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 529 | |
| 530 | /* Continue, so that we skip the error handling code below */ |
| 531 | continue; |
| 532 | |
| 533 | bad_kernel: |
| 534 | /* Handle errors parsing this kernel */ |
| 535 | if (NULL != data_key) |
| 536 | RSAPublicKeyFree(data_key); |
| 537 | |
| 538 | VBDEBUG(("Marking kernel as invalid.\n")); |
| 539 | GptUpdateKernelEntry(&gpt, GPT_UPDATE_ENTRY_BAD); |
| 540 | |
| 541 | |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 542 | } /* while(GptNextKernelEntry) */ |
| 543 | } while(0); |
| 544 | |
| 545 | /* Free kernel buffer */ |
| 546 | if (kbuf) |
Randall Spangler | e49e8af | 2011-07-08 13:03:32 -0700 | [diff] [blame] | 547 | VbExFree(kbuf); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 548 | |
| 549 | /* Write and free GPT data */ |
Randall Spangler | 1b1998d | 2011-07-01 16:12:47 -0700 | [diff] [blame] | 550 | WriteAndFreeGptData(params->disk_handle, &gpt); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 551 | |
| 552 | /* Handle finding a good partition */ |
| 553 | if (good_partition >= 0) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 554 | VBDEBUG(("Good_partition >= 0\n")); |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 555 | shcall->check_result = VBSD_LKC_CHECK_GOOD_PARTITION; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 556 | |
| 557 | /* See if we need to update the TPM */ |
Randall Spangler | 700fc49 | 2011-04-17 10:48:10 -0700 | [diff] [blame] | 558 | if ((kBootNormal == boot_mode) && |
| 559 | !((1 == shared->firmware_index) && (shared->flags & VBSD_FWB_TRIED))) { |
| 560 | /* We only update the TPM in normal mode. We don't advance the |
| 561 | * TPM if we're trying a new firmware B, because that firmware |
| 562 | * may have a key change and roll forward the TPM too soon. */ |
| 563 | VBDEBUG(("Checking if TPM kernel version needs advancing\n")); |
Stefan Reinauer | 55db6a6 | 2011-03-15 16:23:41 -0700 | [diff] [blame] | 564 | |
| 565 | if ((lowest_version > tpm_version) && |
| 566 | (lowest_version != LOWEST_TPM_VERSION)) { |
Randall Spangler | 6668028 | 2010-08-16 12:33:44 -0700 | [diff] [blame] | 567 | status = RollbackKernelWrite((uint32_t)lowest_version); |
Randall Spangler | 7a786b7 | 2010-07-08 13:29:42 -0700 | [diff] [blame] | 568 | if (0 != status) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 569 | VBDEBUG(("Error writing kernel versions to TPM.\n")); |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 570 | if (status == TPM_E_MUST_REBOOT) |
| 571 | retval = LOAD_KERNEL_REBOOT; |
| 572 | else |
| 573 | recovery = VBNV_RECOVERY_RW_TPM_ERROR; |
| 574 | goto LoadKernelExit; |
Randall Spangler | 1078838 | 2010-06-23 15:35:31 -0700 | [diff] [blame] | 575 | } |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 576 | shared->kernel_version_tpm = (uint32_t)lowest_version; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 577 | } |
| 578 | } |
| 579 | |
Randall Spangler | 63dffcb | 2010-08-05 15:13:14 -0700 | [diff] [blame] | 580 | /* Lock the kernel versions */ |
| 581 | status = RollbackKernelLock(); |
| 582 | if (0 != status) { |
| 583 | VBDEBUG(("Error locking kernel versions.\n")); |
| 584 | /* Don't reboot to recovery mode if we're already there */ |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 585 | if (kBootRecovery != boot_mode) { |
| 586 | if (status == TPM_E_MUST_REBOOT) |
| 587 | retval = LOAD_KERNEL_REBOOT; |
| 588 | else |
| 589 | recovery = VBNV_RECOVERY_RW_TPM_ERROR; |
| 590 | goto LoadKernelExit; |
| 591 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 592 | } |
| 593 | |
| 594 | /* Success! */ |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 595 | retval = LOAD_KERNEL_SUCCESS; |
Randall Spangler | 0222355 | 2011-03-15 19:20:25 -0700 | [diff] [blame] | 596 | } else { |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 597 | shcall->check_result = (found_partitions > 0 |
| 598 | ? VBSD_LKC_CHECK_INVALID_PARTITIONS |
| 599 | : VBSD_LKC_CHECK_NO_PARTITIONS); |
Randall Spangler | 17c7126 | 2011-03-18 11:24:27 -0700 | [diff] [blame] | 600 | |
Randall Spangler | 0222355 | 2011-03-15 19:20:25 -0700 | [diff] [blame] | 601 | /* TODO: differentiate between finding an invalid kernel |
| 602 | * (found_partitions>0) and not finding one at all. Right now we |
| 603 | * treat them the same, and return LOAD_KERNEL_INVALID for both. */ |
| 604 | retval = LOAD_KERNEL_INVALID; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 605 | } |
| 606 | |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 607 | LoadKernelExit: |
| 608 | |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 609 | /* Store recovery request, if any, then tear down non-volatile storage */ |
| 610 | VbNvSet(vnc, VBNV_RECOVERY_REQUEST, LOAD_KERNEL_RECOVERY == retval ? |
| 611 | recovery : VBNV_RECOVERY_NOT_REQUESTED); |
| 612 | VbNvTeardown(vnc); |
| 613 | |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 614 | shcall->return_code = (uint8_t)retval; |
Randall Spangler | 17c7126 | 2011-03-18 11:24:27 -0700 | [diff] [blame] | 615 | |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 616 | /* Save whether the good partition's key block was fully verified */ |
| 617 | if (good_partition_key_block_valid) |
| 618 | shared->flags |= VBSD_KERNEL_KEY_VERIFIED; |
Randall Spangler | 17c7126 | 2011-03-18 11:24:27 -0700 | [diff] [blame] | 619 | |
Randall Spangler | 9619112 | 2011-07-08 14:01:54 -0700 | [diff] [blame] | 620 | /* Store how much shared data we used, if any */ |
| 621 | params->shared_data_size = shared->data_used; |
Randall Spangler | 95c4031 | 2011-03-09 15:54:16 -0800 | [diff] [blame] | 622 | |
Randall Spangler | 640fb51 | 2011-03-03 10:11:17 -0800 | [diff] [blame] | 623 | return retval; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 624 | } |