Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 1 | /* Copyright (c) 2010 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. |
| 4 | * |
| 5 | * Functions for loading a kernel from disk. |
| 6 | * (Firmware portion) |
| 7 | */ |
| 8 | |
| 9 | #include "vboot_kernel.h" |
| 10 | |
| 11 | #include "boot_device.h" |
| 12 | #include "cgptlib.h" |
Bill Richardson | 5deb67f | 2010-07-23 17:22:25 -0700 | [diff] [blame] | 13 | #include "cgptlib_internal.h" |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 14 | #include "load_kernel_fw.h" |
| 15 | #include "rollback_index.h" |
| 16 | #include "utility.h" |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 17 | #include "vboot_common.h" |
| 18 | |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 19 | #define KBUF_SIZE 65536 /* Bytes to read at start of kernel partition */ |
| 20 | |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 21 | |
| 22 | /* Allocates and reads GPT data from the drive. The sector_bytes and |
| 23 | * drive_sectors fields should be filled on input. The primary and |
| 24 | * secondary header and entries are filled on output. |
| 25 | * |
| 26 | * Returns 0 if successful, 1 if error. */ |
| 27 | int AllocAndReadGptData(GptData* gptdata) { |
| 28 | |
| 29 | uint64_t entries_sectors = TOTAL_ENTRIES_SIZE / gptdata->sector_bytes; |
| 30 | |
| 31 | /* No data to be written yet */ |
| 32 | gptdata->modified = 0; |
| 33 | |
| 34 | /* Allocate all buffers */ |
| 35 | gptdata->primary_header = (uint8_t*)Malloc(gptdata->sector_bytes); |
| 36 | gptdata->secondary_header = (uint8_t*)Malloc(gptdata->sector_bytes); |
| 37 | gptdata->primary_entries = (uint8_t*)Malloc(TOTAL_ENTRIES_SIZE); |
| 38 | gptdata->secondary_entries = (uint8_t*)Malloc(TOTAL_ENTRIES_SIZE); |
| 39 | |
| 40 | if (gptdata->primary_header == NULL || gptdata->secondary_header == NULL || |
| 41 | gptdata->primary_entries == NULL || gptdata->secondary_entries == NULL) |
| 42 | return 1; |
| 43 | |
| 44 | /* Read data from the drive, skipping the protective MBR */ |
| 45 | if (0 != BootDeviceReadLBA(1, 1, gptdata->primary_header)) |
| 46 | return 1; |
| 47 | if (0 != BootDeviceReadLBA(2, entries_sectors, gptdata->primary_entries)) |
| 48 | return 1; |
| 49 | if (0 != BootDeviceReadLBA(gptdata->drive_sectors - entries_sectors - 1, |
| 50 | entries_sectors, gptdata->secondary_entries)) |
| 51 | return 1; |
| 52 | if (0 != BootDeviceReadLBA(gptdata->drive_sectors - 1, |
| 53 | 1, gptdata->secondary_header)) |
| 54 | return 1; |
| 55 | |
| 56 | return 0; |
| 57 | } |
| 58 | |
| 59 | |
| 60 | /* Writes any changes for the GPT data back to the drive, then frees |
| 61 | * the buffers. |
| 62 | * |
| 63 | * Returns 0 if successful, 1 if error. */ |
| 64 | int WriteAndFreeGptData(GptData* gptdata) { |
| 65 | |
| 66 | uint64_t entries_sectors = TOTAL_ENTRIES_SIZE / gptdata->sector_bytes; |
| 67 | |
| 68 | if (gptdata->primary_header) { |
| 69 | if (gptdata->modified & GPT_MODIFIED_HEADER1) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 70 | VBDEBUG(("Updating GPT header 1\n")); |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 71 | if (0 != BootDeviceWriteLBA(1, 1, gptdata->primary_header)) |
| 72 | return 1; |
| 73 | } |
| 74 | Free(gptdata->primary_header); |
| 75 | } |
| 76 | |
| 77 | if (gptdata->primary_entries) { |
| 78 | if (gptdata->modified & GPT_MODIFIED_ENTRIES1) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 79 | VBDEBUG(("Updating GPT entries 1\n")); |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 80 | if (0 != BootDeviceWriteLBA(2, entries_sectors, |
| 81 | gptdata->primary_entries)) |
| 82 | return 1; |
| 83 | } |
| 84 | Free(gptdata->primary_entries); |
| 85 | } |
| 86 | |
| 87 | if (gptdata->secondary_entries) { |
| 88 | if (gptdata->modified & GPT_MODIFIED_ENTRIES2) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 89 | VBDEBUG(("Updating GPT header 2\n")); |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 90 | if (0 != BootDeviceWriteLBA(gptdata->drive_sectors - entries_sectors - 1, |
| 91 | entries_sectors, gptdata->secondary_entries)) |
| 92 | return 1; |
| 93 | } |
| 94 | Free(gptdata->secondary_entries); |
| 95 | } |
| 96 | |
| 97 | if (gptdata->secondary_header) { |
| 98 | if (gptdata->modified & GPT_MODIFIED_HEADER2) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 99 | VBDEBUG(("Updating GPT entries 2\n")); |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 100 | if (0 != BootDeviceWriteLBA(gptdata->drive_sectors - 1, 1, |
| 101 | gptdata->secondary_header)) |
| 102 | return 1; |
| 103 | } |
| 104 | Free(gptdata->secondary_header); |
| 105 | } |
| 106 | |
| 107 | /* Success */ |
| 108 | return 0; |
| 109 | } |
| 110 | |
vbendeb | 3ecaf77 | 2010-06-24 16:19:53 -0700 | [diff] [blame] | 111 | /* disable MSVC warning on const logical expression (as in } while(0);) */ |
| 112 | __pragma(warning(disable: 4127)) |
Randall Spangler | 83c88cf | 2010-06-11 16:14:18 -0700 | [diff] [blame] | 113 | |
Randall Spangler | bd529f0 | 2010-06-16 12:51:26 -0700 | [diff] [blame] | 114 | int LoadKernel(LoadKernelParams* params) { |
Bill Richardson | e272940 | 2010-07-22 12:23:47 -0700 | [diff] [blame] | 115 | VbPublicKey* kernel_subkey; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 116 | GptData gpt; |
| 117 | uint64_t part_start, part_size; |
Bill Richardson | e272940 | 2010-07-22 12:23:47 -0700 | [diff] [blame] | 118 | uint64_t blba; |
| 119 | uint64_t kbuf_sectors; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 120 | uint8_t* kbuf = NULL; |
| 121 | int found_partitions = 0; |
| 122 | int good_partition = -1; |
Randall Spangler | 6668028 | 2010-08-16 12:33:44 -0700 | [diff] [blame] | 123 | uint32_t tpm_version = 0; |
| 124 | uint64_t lowest_version = 0xFFFFFFFF; |
Bill Richardson | e272940 | 2010-07-22 12:23:47 -0700 | [diff] [blame] | 125 | int is_dev; |
| 126 | int is_rec; |
| 127 | int is_normal; |
Randall Spangler | 7a786b7 | 2010-07-08 13:29:42 -0700 | [diff] [blame] | 128 | uint32_t status; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 129 | |
Bill Richardson | e272940 | 2010-07-22 12:23:47 -0700 | [diff] [blame] | 130 | /* Sanity Checks */ |
| 131 | if (!params || |
Bill Richardson | e272940 | 2010-07-22 12:23:47 -0700 | [diff] [blame] | 132 | !params->bytes_per_lba || |
| 133 | !params->ending_lba || |
| 134 | !params->kernel_buffer || |
| 135 | !params->kernel_buffer_size) { |
| 136 | VBDEBUG(("LoadKernel() called with invalid params\n")); |
| 137 | return LOAD_KERNEL_INVALID; |
| 138 | } |
| 139 | |
| 140 | /* Initialization */ |
| 141 | kernel_subkey = (VbPublicKey*)params->header_sign_key_blob; |
| 142 | blba = params->bytes_per_lba; |
| 143 | kbuf_sectors = KBUF_SIZE / blba; |
Randall Spangler | 4bb5e4b | 2010-08-19 09:05:22 -0700 | [diff] [blame] | 144 | if (0 == kbuf_sectors) { |
| 145 | VBDEBUG(("LoadKernel() called with sector size > KBUF_SIZE\n")); |
| 146 | return LOAD_KERNEL_INVALID; |
| 147 | } |
| 148 | |
Bill Richardson | e272940 | 2010-07-22 12:23:47 -0700 | [diff] [blame] | 149 | is_dev = (BOOT_FLAG_DEVELOPER & params->boot_flags ? 1 : 0); |
| 150 | is_rec = (BOOT_FLAG_RECOVERY & params->boot_flags ? 1 : 0); |
| 151 | is_normal = (!is_dev && !is_rec); |
| 152 | |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 153 | /* Clear output params in case we fail */ |
| 154 | params->partition_number = 0; |
| 155 | params->bootloader_address = 0; |
| 156 | params->bootloader_size = 0; |
| 157 | |
Randall Spangler | 63dffcb | 2010-08-05 15:13:14 -0700 | [diff] [blame] | 158 | /* Let the TPM know if we're in recovery mode */ |
| 159 | if (is_rec) { |
| 160 | if (0 != RollbackKernelRecovery(is_dev)) { |
| 161 | VBDEBUG(("Error setting up TPM for recovery kernel\n")); |
| 162 | /* Ignore return code, since we need to boot recovery mode to |
| 163 | * fix the TPM. */ |
Randall Spangler | 1078838 | 2010-06-23 15:35:31 -0700 | [diff] [blame] | 164 | } |
Randall Spangler | 81d0996 | 2010-06-23 10:15:38 -0700 | [diff] [blame] | 165 | } |
| 166 | |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 167 | if (is_normal) { |
| 168 | /* Read current kernel key index from TPM. Assumes TPM is already |
| 169 | * initialized. */ |
Randall Spangler | 6668028 | 2010-08-16 12:33:44 -0700 | [diff] [blame] | 170 | status = RollbackKernelRead(&tpm_version); |
Randall Spangler | 7a786b7 | 2010-07-08 13:29:42 -0700 | [diff] [blame] | 171 | if (0 != status) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 172 | VBDEBUG(("Unable to get kernel versions from TPM\n")); |
Randall Spangler | 7a786b7 | 2010-07-08 13:29:42 -0700 | [diff] [blame] | 173 | return (status == TPM_E_MUST_REBOOT ? |
| 174 | LOAD_KERNEL_REBOOT : LOAD_KERNEL_RECOVERY); |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 175 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 176 | } |
| 177 | |
| 178 | do { |
| 179 | /* Read GPT data */ |
Randall Spangler | beb5bae | 2010-06-21 16:33:26 -0700 | [diff] [blame] | 180 | gpt.sector_bytes = (uint32_t)blba; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 181 | gpt.drive_sectors = params->ending_lba + 1; |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 182 | if (0 != AllocAndReadGptData(&gpt)) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 183 | VBDEBUG(("Unable to read GPT data\n")); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 184 | break; |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 185 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 186 | |
| 187 | /* Initialize GPT library */ |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 188 | if (GPT_SUCCESS != GptInit(&gpt)) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 189 | VBDEBUG(("Error parsing GPT\n")); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 190 | break; |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 191 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 192 | |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 193 | /* Allocate kernel header buffers */ |
| 194 | kbuf = (uint8_t*)Malloc(KBUF_SIZE); |
| 195 | if (!kbuf) |
| 196 | break; |
| 197 | |
| 198 | /* Loop over candidate kernel partitions */ |
| 199 | while (GPT_SUCCESS == GptNextKernelEntry(&gpt, &part_start, &part_size)) { |
| 200 | VbKeyBlockHeader* key_block; |
| 201 | VbKernelPreambleHeader* preamble; |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 202 | RSAPublicKey* data_key = NULL; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 203 | uint64_t key_version; |
Randall Spangler | 6668028 | 2010-08-16 12:33:44 -0700 | [diff] [blame] | 204 | uint64_t combined_version; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 205 | uint64_t body_offset; |
Randall Spangler | 4bb5e4b | 2010-08-19 09:05:22 -0700 | [diff] [blame] | 206 | uint64_t body_offset_sectors; |
| 207 | uint64_t body_sectors; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 208 | |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 209 | VBDEBUG(("Found kernel entry at %" PRIu64 " size %" PRIu64 "\n", |
| 210 | part_start, part_size)); |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 211 | |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 212 | /* Found at least one kernel partition. */ |
| 213 | found_partitions++; |
| 214 | |
| 215 | /* Read the first part of the kernel partition */ |
Randall Spangler | 77ae389 | 2010-09-09 17:37:51 -0700 | [diff] [blame] | 216 | if (part_size < kbuf_sectors) { |
| 217 | VBDEBUG(("Partition too small to hold kernel.\n")); |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 218 | goto bad_kernel; |
Randall Spangler | 77ae389 | 2010-09-09 17:37:51 -0700 | [diff] [blame] | 219 | } |
| 220 | |
| 221 | if (0 != BootDeviceReadLBA(part_start, kbuf_sectors, kbuf)) { |
| 222 | VBDEBUG(("Unable to read start of partition.\n")); |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 223 | goto bad_kernel; |
Randall Spangler | 77ae389 | 2010-09-09 17:37:51 -0700 | [diff] [blame] | 224 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 225 | |
Randall Spangler | 138acfe | 2010-08-17 15:45:21 -0700 | [diff] [blame] | 226 | /* Verify the key block. In developer mode, we ignore the key |
| 227 | * and use only the SHA-512 hash to verify the key block. */ |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 228 | key_block = (VbKeyBlockHeader*)kbuf; |
Randall Spangler | 138acfe | 2010-08-17 15:45:21 -0700 | [diff] [blame] | 229 | if ((0 != KeyBlockVerify(key_block, KBUF_SIZE, kernel_subkey, |
| 230 | is_dev && !is_rec))) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 231 | VBDEBUG(("Verifying key block failed.\n")); |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 232 | goto bad_kernel; |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 233 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 234 | |
Randall Spangler | ae029d9 | 2010-07-19 18:26:35 -0700 | [diff] [blame] | 235 | /* Check the key block flags against the current boot mode in normal |
| 236 | * and recovery modes (not in developer mode booting from SSD). */ |
| 237 | if (is_rec || is_normal) { |
| 238 | if (!(key_block->key_block_flags & |
| 239 | (is_dev ? KEY_BLOCK_FLAG_DEVELOPER_1 : |
| 240 | KEY_BLOCK_FLAG_DEVELOPER_0))) { |
| 241 | VBDEBUG(("Developer flag mismatch.\n")); |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 242 | goto bad_kernel; |
Randall Spangler | ae029d9 | 2010-07-19 18:26:35 -0700 | [diff] [blame] | 243 | } |
| 244 | if (!(key_block->key_block_flags & |
| 245 | (is_rec ? KEY_BLOCK_FLAG_RECOVERY_1 : |
| 246 | KEY_BLOCK_FLAG_RECOVERY_0))) { |
| 247 | VBDEBUG(("Recovery flag mismatch.\n")); |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 248 | goto bad_kernel; |
Randall Spangler | ae029d9 | 2010-07-19 18:26:35 -0700 | [diff] [blame] | 249 | } |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 250 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 251 | |
| 252 | /* Check for rollback of key version. Note this is implicitly |
| 253 | * skipped in recovery and developer modes because those set |
| 254 | * key_version=0 above. */ |
| 255 | key_version = key_block->data_key.key_version; |
Randall Spangler | 6668028 | 2010-08-16 12:33:44 -0700 | [diff] [blame] | 256 | if (key_version < (tpm_version >> 16)) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 257 | VBDEBUG(("Key version too old.\n")); |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 258 | goto bad_kernel; |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 259 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 260 | |
| 261 | /* Get the key for preamble/data verification from the key block */ |
| 262 | data_key = PublicKeyToRSA(&key_block->data_key); |
Randall Spangler | 77ae389 | 2010-09-09 17:37:51 -0700 | [diff] [blame] | 263 | if (!data_key) { |
| 264 | VBDEBUG(("Data key bad.\n")); |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 265 | goto bad_kernel; |
Randall Spangler | 77ae389 | 2010-09-09 17:37:51 -0700 | [diff] [blame] | 266 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 267 | |
| 268 | /* Verify the preamble, which follows the key block */ |
| 269 | preamble = (VbKernelPreambleHeader*)(kbuf + key_block->key_block_size); |
Randall Spangler | 87c13d8 | 2010-07-19 10:35:40 -0700 | [diff] [blame] | 270 | if ((0 != VerifyKernelPreamble(preamble, |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 271 | KBUF_SIZE - key_block->key_block_size, |
| 272 | data_key))) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 273 | VBDEBUG(("Preamble verification failed.\n")); |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 274 | goto bad_kernel; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 275 | } |
| 276 | |
| 277 | /* Check for rollback of kernel version. Note this is implicitly |
Randall Spangler | 6668028 | 2010-08-16 12:33:44 -0700 | [diff] [blame] | 278 | * skipped in recovery and developer modes because rollback_index |
| 279 | * sets those to 0 in those modes. */ |
| 280 | combined_version = ((key_version << 16) | |
| 281 | (preamble->kernel_version & 0xFFFF)); |
| 282 | if (combined_version < tpm_version) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 283 | VBDEBUG(("Kernel version too low.\n")); |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 284 | goto bad_kernel; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 285 | } |
| 286 | |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 287 | VBDEBUG(("Kernel preamble is good.\n")); |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 288 | |
Randall Spangler | 6668028 | 2010-08-16 12:33:44 -0700 | [diff] [blame] | 289 | /* Check for lowest version from a valid header. */ |
| 290 | if (lowest_version > combined_version) |
| 291 | lowest_version = combined_version; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 292 | |
| 293 | /* If we already have a good kernel, no need to read another |
| 294 | * one; we only needed to look at the versions to check for |
Randall Spangler | 77ae389 | 2010-09-09 17:37:51 -0700 | [diff] [blame] | 295 | * rollback. So skip to the next kernel preamble. */ |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 296 | if (-1 != good_partition) |
Randall Spangler | 77ae389 | 2010-09-09 17:37:51 -0700 | [diff] [blame] | 297 | continue; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 298 | |
| 299 | /* Verify body load address matches what we expect */ |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 300 | if ((preamble->body_load_address != (size_t)params->kernel_buffer) && |
| 301 | !(params->boot_flags & BOOT_FLAG_SKIP_ADDR_CHECK)) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 302 | VBDEBUG(("Wrong body load address.\n")); |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 303 | goto bad_kernel; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 304 | } |
| 305 | |
| 306 | /* Verify kernel body starts at a multiple of the sector size. */ |
| 307 | body_offset = key_block->key_block_size + preamble->preamble_size; |
| 308 | if (0 != body_offset % blba) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 309 | VBDEBUG(("Kernel body not at multiple of sector size.\n")); |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 310 | goto bad_kernel; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 311 | } |
Randall Spangler | 4bb5e4b | 2010-08-19 09:05:22 -0700 | [diff] [blame] | 312 | body_offset_sectors = body_offset / blba; |
| 313 | |
| 314 | /* Verify kernel body fits in the buffer */ |
| 315 | body_sectors = (preamble->body_signature.data_size + blba - 1) / blba; |
| 316 | if (body_sectors * blba > params->kernel_buffer_size) { |
| 317 | VBDEBUG(("Kernel body doesn't fit in memory.\n")); |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 318 | goto bad_kernel; |
Randall Spangler | 4bb5e4b | 2010-08-19 09:05:22 -0700 | [diff] [blame] | 319 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 320 | |
| 321 | /* Verify kernel body fits in the partition */ |
Randall Spangler | 4bb5e4b | 2010-08-19 09:05:22 -0700 | [diff] [blame] | 322 | if (body_offset_sectors + body_sectors > part_size) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 323 | VBDEBUG(("Kernel body doesn't fit in partition.\n")); |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 324 | goto bad_kernel; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 325 | } |
| 326 | |
| 327 | /* Read the kernel data */ |
Randall Spangler | 6078ca3 | 2010-10-18 15:49:28 -0700 | [diff] [blame^] | 328 | VBPERFSTART("VB_RKD"); |
Randall Spangler | 4bb5e4b | 2010-08-19 09:05:22 -0700 | [diff] [blame] | 329 | if (0 != BootDeviceReadLBA(part_start + body_offset_sectors, |
| 330 | body_sectors, |
| 331 | params->kernel_buffer)) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 332 | VBDEBUG(("Unable to read kernel data.\n")); |
Randall Spangler | 6078ca3 | 2010-10-18 15:49:28 -0700 | [diff] [blame^] | 333 | VBPERFEND("VB_RKD"); |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 334 | goto bad_kernel; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 335 | } |
Randall Spangler | 6078ca3 | 2010-10-18 15:49:28 -0700 | [diff] [blame^] | 336 | VBPERFEND("VB_RKD"); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 337 | |
| 338 | /* Verify kernel data */ |
| 339 | if (0 != VerifyData((const uint8_t*)params->kernel_buffer, |
Randall Spangler | 87c13d8 | 2010-07-19 10:35:40 -0700 | [diff] [blame] | 340 | params->kernel_buffer_size, |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 341 | &preamble->body_signature, data_key)) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 342 | VBDEBUG(("Kernel data verification failed.\n")); |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 343 | goto bad_kernel; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 344 | } |
| 345 | |
| 346 | /* Done with the kernel signing key, so can free it now */ |
| 347 | RSAPublicKeyFree(data_key); |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 348 | data_key = NULL; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 349 | |
| 350 | /* If we're still here, the kernel is valid. */ |
| 351 | /* Save the first good partition we find; that's the one we'll boot */ |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 352 | VBDEBUG(("Partiton is good.\n")); |
Randall Spangler | beb5bae | 2010-06-21 16:33:26 -0700 | [diff] [blame] | 353 | /* TODO: GPT partitions start at 1, but cgptlib starts them at 0. |
| 354 | * Adjust here, until cgptlib is fixed. */ |
| 355 | good_partition = gpt.current_kernel + 1; |
Randall Spangler | b9d60a5 | 2010-06-23 12:43:01 -0700 | [diff] [blame] | 356 | params->partition_number = gpt.current_kernel + 1; |
Bill Richardson | 5deb67f | 2010-07-23 17:22:25 -0700 | [diff] [blame] | 357 | GetCurrentKernelUniqueGuid(&gpt, ¶ms->partition_guid); |
Randall Spangler | 63dffcb | 2010-08-05 15:13:14 -0700 | [diff] [blame] | 358 | /* TODO: GetCurrentKernelUniqueGuid() should take a destination size, or |
| 359 | * 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] | 360 | params->bootloader_address = preamble->bootloader_address; |
| 361 | params->bootloader_size = preamble->bootloader_size; |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 362 | |
| 363 | /* Update GPT to note this is the kernel we're trying */ |
| 364 | GptUpdateKernelEntry(&gpt, GPT_UPDATE_ENTRY_TRY); |
| 365 | |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 366 | /* If we're in developer or recovery mode, there's no rollback |
| 367 | * protection, so we can stop at the first valid kernel. */ |
Randall Spangler | beb5bae | 2010-06-21 16:33:26 -0700 | [diff] [blame] | 368 | if (!is_normal) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 369 | VBDEBUG(("Boot_flags = !is_normal\n")); |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 370 | break; |
Randall Spangler | beb5bae | 2010-06-21 16:33:26 -0700 | [diff] [blame] | 371 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 372 | |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 373 | /* Otherwise, we're in normal boot mode, so we do care about the |
| 374 | * key index in the TPM. If the good partition's key version is |
| 375 | * the same as the tpm, then the TPM doesn't need updating; we |
| 376 | * can stop now. Otherwise, we'll check all the other headers |
| 377 | * to see if they contain a newer key. */ |
Randall Spangler | 6668028 | 2010-08-16 12:33:44 -0700 | [diff] [blame] | 378 | if (combined_version == tpm_version) { |
| 379 | VBDEBUG(("Same kernel version\n")); |
Randall Spangler | 695cd16 | 2010-06-15 23:38:23 -0700 | [diff] [blame] | 380 | break; |
Randall Spangler | beb5bae | 2010-06-21 16:33:26 -0700 | [diff] [blame] | 381 | } |
Randall Spangler | 741d2b2 | 2010-08-20 16:37:12 -0700 | [diff] [blame] | 382 | |
| 383 | /* Continue, so that we skip the error handling code below */ |
| 384 | continue; |
| 385 | |
| 386 | bad_kernel: |
| 387 | /* Handle errors parsing this kernel */ |
| 388 | if (NULL != data_key) |
| 389 | RSAPublicKeyFree(data_key); |
| 390 | |
| 391 | VBDEBUG(("Marking kernel as invalid.\n")); |
| 392 | GptUpdateKernelEntry(&gpt, GPT_UPDATE_ENTRY_BAD); |
| 393 | |
| 394 | |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 395 | } /* while(GptNextKernelEntry) */ |
| 396 | } while(0); |
| 397 | |
| 398 | /* Free kernel buffer */ |
| 399 | if (kbuf) |
| 400 | Free(kbuf); |
| 401 | |
| 402 | /* Write and free GPT data */ |
| 403 | WriteAndFreeGptData(&gpt); |
| 404 | |
| 405 | /* Handle finding a good partition */ |
| 406 | if (good_partition >= 0) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 407 | VBDEBUG(("Good_partition >= 0\n")); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 408 | |
| 409 | /* See if we need to update the TPM */ |
| 410 | if (is_normal) { |
| 411 | /* We only update the TPM in normal boot mode. In developer |
| 412 | * mode, the kernel is self-signed by the developer, so we can't |
| 413 | * trust the key version and wouldn't want to roll the TPM |
| 414 | * forward. In recovery mode, the TPM stays PP-unlocked, so |
| 415 | * anything we write gets blown away by the firmware when we go |
| 416 | * back to normal mode. */ |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 417 | VBDEBUG(("Boot_flags = is_normal\n")); |
Randall Spangler | 6668028 | 2010-08-16 12:33:44 -0700 | [diff] [blame] | 418 | if (lowest_version > tpm_version) { |
| 419 | status = RollbackKernelWrite((uint32_t)lowest_version); |
Randall Spangler | 7a786b7 | 2010-07-08 13:29:42 -0700 | [diff] [blame] | 420 | if (0 != status) { |
Randall Spangler | e2ec984 | 2010-06-23 21:17:07 -0700 | [diff] [blame] | 421 | VBDEBUG(("Error writing kernel versions to TPM.\n")); |
Randall Spangler | 63dffcb | 2010-08-05 15:13:14 -0700 | [diff] [blame] | 422 | return (status == TPM_E_MUST_REBOOT ? |
| 423 | LOAD_KERNEL_REBOOT : LOAD_KERNEL_RECOVERY); |
Randall Spangler | 1078838 | 2010-06-23 15:35:31 -0700 | [diff] [blame] | 424 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 425 | } |
| 426 | } |
| 427 | |
Randall Spangler | 63dffcb | 2010-08-05 15:13:14 -0700 | [diff] [blame] | 428 | /* Lock the kernel versions */ |
| 429 | status = RollbackKernelLock(); |
| 430 | if (0 != status) { |
| 431 | VBDEBUG(("Error locking kernel versions.\n")); |
| 432 | /* Don't reboot to recovery mode if we're already there */ |
| 433 | if (!is_rec) |
| 434 | return (status == TPM_E_MUST_REBOOT ? |
| 435 | LOAD_KERNEL_REBOOT : LOAD_KERNEL_RECOVERY); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 436 | } |
| 437 | |
| 438 | /* Success! */ |
| 439 | return LOAD_KERNEL_SUCCESS; |
| 440 | } |
| 441 | |
Bill Richardson | 60563ee | 2010-08-30 15:15:38 -0700 | [diff] [blame] | 442 | /* The BIOS may attempt to display different screens depending on whether |
| 443 | * we find an invalid kernel partition (return LOAD_KERNEL_INVALID) or not. |
| 444 | * But the flow is changing, so for now treating both cases as invalid gives |
| 445 | * slightly less confusing user feedback. Sigh. |
| 446 | */ |
| 447 | return LOAD_KERNEL_INVALID; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 448 | } |