blob: 9fedeb5fdd06240dbbf5a611a05b03158ffce511 [file] [log] [blame]
Gaurav Shah80d129b2010-03-03 17:58:43 -08001// 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//
Gaurav Shahccaa90f2010-03-17 20:40:23 -07005// Utility for manipulating verified boot kernel images.
Gaurav Shah80d129b2010-03-03 17:58:43 -08006//
7
8#include "kernel_utility.h"
9
10#include <errno.h>
11#include <getopt.h>
Gaurav Shaha6fb7a62010-03-04 15:00:50 -080012#include <stdio.h>
Gaurav Shah80d129b2010-03-03 17:58:43 -080013#include <stdint.h> // Needed for UINT16_MAX.
14#include <stdlib.h>
15#include <unistd.h>
16
17#include <iostream>
18
19extern "C" {
Gaurav Shahd46c3472010-03-30 23:08:10 -070020#include "cryptolib.h"
Gaurav Shah80d129b2010-03-03 17:58:43 -080021#include "file_keys.h"
22#include "kernel_image.h"
Gaurav Shah80d129b2010-03-03 17:58:43 -080023#include "utility.h"
24}
25
26extern int errno;
27using std::cerr;
28
29namespace vboot_reference {
30
31KernelUtility::KernelUtility(): image_(NULL),
32 firmware_key_pub_(NULL),
33 header_version_(1),
34 firmware_sign_algorithm_(-1),
35 kernel_sign_algorithm_(-1),
36 kernel_key_version_(-1),
37 kernel_version_(-1),
38 is_generate_(false),
Gaurav Shah528a2c12010-03-18 13:10:10 -070039 is_verify_(false),
40 is_describe_(false){
Gaurav Shah80d129b2010-03-03 17:58:43 -080041 // Populate kernel config options with defaults.
42 options_.version[0] = 1;
43 options_.version[1] = 0;
44 options_.kernel_len = 0;
45 options_.kernel_load_addr = 0;
46 options_.kernel_entry_addr = 0;
47}
48
49KernelUtility::~KernelUtility() {
50 RSAPublicKeyFree(firmware_key_pub_);
51 KernelImageFree(image_);
52}
53
54void KernelUtility::PrintUsage(void) {
55 cerr <<
Gaurav Shah528a2c12010-03-18 13:10:10 -070056 "Utility to generate/verify/describe a verified boot kernel image\n\n"
57 "Usage: kernel_utility <--generate|--verify|--describe> [OPTIONS]\n\n"
Gaurav Shah80d129b2010-03-03 17:58:43 -080058 "For \"--verify\", required OPTIONS are:\n"
59 "--in <infile>\t\t\tVerified boot kernel image to verify.\n"
60 "--firmware_key_pub <pubkeyfile>\tPre-processed public firmware key "
61 "to use for verification.\n\n"
62 "For \"--generate\", required OPTIONS are:\n"
63 "--firmware_key <privkeyfile>\tPrivate firmware signing key file\n"
64 "--kernel_key <privkeyfile>\tPrivate kernel signing key file\n"
65 "--kernel_key_pub <pubkeyfile>\tPre-processed public kernel signing"
66 " key\n"
67 "--firmware_sign_algorithm <algoid>\tSigning algorithm used by "
68 "the firmware\n"
69 "--kernel_sign_algorithm <algoid>\tSigning algorithm to use for kernel\n"
70 "--kernel_key_version <version#>\tKernel signing Key Version#\n"
71 "--kernel_version <version#>\tKernel Version#\n"
72 "--in <infile>\t\tKernel Image to sign\n"
73 "--out <outfile>\t\tOutput file for verified boot Kernel image\n\n"
74 "Optional arguments for \"--generate\" include:\n"
75 "--config_version <version>\n"
76 "--kernel_load_addr <addr>\n"
77 "--kernel_entry_addr <addr>\n\n"
78 "<algoid> (for --*_sign_algorithm) is one of the following:\n";
79 for (int i = 0; i < kNumAlgorithms; i++) {
80 cerr << i << " for " << algo_strings[i] << "\n";
81 }
82 cerr << "\n\n";
83}
84
85bool KernelUtility::ParseCmdLineOptions(int argc, char* argv[]) {
86 int option_index;
87 static struct option long_options[] = {
88 {"firmware_key", 1, 0, 0},
89 {"firmware_key_pub", 1, 0, 0},
90 {"kernel_key", 1, 0, 0},
91 {"kernel_key_pub", 1, 0, 0},
92 {"firmware_sign_algorithm", 1, 0, 0},
93 {"kernel_sign_algorithm", 1, 0, 0},
94 {"kernel_key_version", 1, 0, 0},
95 {"kernel_version", 1, 0, 0},
96 {"in", 1, 0, 0},
97 {"out", 1, 0, 0},
98 {"generate", 0, 0, 0},
99 {"verify", 0, 0, 0},
100 {"config_version", 1, 0, 0},
101 {"kernel_load_addr", 1, 0, 0},
102 {"kernel_entry_addr", 1, 0, 0},
Gaurav Shah528a2c12010-03-18 13:10:10 -0700103 {"describe", 0, 0, 0},
Gaurav Shah80d129b2010-03-03 17:58:43 -0800104 {NULL, 0, 0, 0}
105 };
106 while (1) {
107 int i = getopt_long(argc, argv, "", long_options, &option_index);
108 if (-1 == i) // Done with option processing.
109 break;
110 if ('?' == i) // Invalid option found.
111 return false;
112
113 if (0 == i) {
114 switch (option_index) {
115 case 0: // firmware_key
116 firmware_key_file_ = optarg;
117 break;
118 case 1: // firmware_key_pub
119 firmware_key_pub_file_ = optarg;
120 break;
121 case 2: // kernel_key
122 kernel_key_file_ = optarg;
123 break;
124 case 3: // kernel_key_pub
125 kernel_key_pub_file_ = optarg;
126 break;
127 case 4: // firmware_sign_algorithm
128 errno = 0; // strtol() returns an error via errno
129 firmware_sign_algorithm_ = strtol(optarg,
130 reinterpret_cast<char**>(NULL), 10);
131 if (errno)
132 return false;
133 break;
134 case 5: // kernel_sign_algorithm
135 errno = 0;
136 kernel_sign_algorithm_ = strtol(optarg,
137 reinterpret_cast<char**>(NULL), 10);
138 if (errno)
139 return false;
140 break;
141 case 6: // kernel_key_version
142 errno = 0;
143 kernel_key_version_ = strtol(optarg,
144 reinterpret_cast<char**>(NULL), 10);
145 if (errno)
146 return false;
147 break;
148 case 7: // kernel_version
149 errno = 0;
150 kernel_version_ = strtol(optarg,
151 reinterpret_cast<char**>(NULL), 10);
152 if (errno)
153 return false;
154 break;
155 case 8: // in
156 in_file_ = optarg;
157 break;
158 case 9: // out
159 out_file_ = optarg;
160 break;
161 case 10: // generate
162 is_generate_ = true;
163 break;
164 case 11: // verify
165 is_verify_ = true;
166 break;
167 case 12: // config_version
168 if (2 != sscanf(optarg, "%d.%d", &options_.version[0],
169 &options_.version[1]))
170 return false;
171 break;
172 case 13: // kernel_load_addr
173 errno = 0;
174 options_.kernel_load_addr =
175 strtol(optarg, reinterpret_cast<char**>(NULL), 10);
176 if (errno)
177 return false;
178 break;
179 case 14: // kernel_entry_addr
180 errno = 0;
181 options_.kernel_entry_addr =
182 strtol(optarg, reinterpret_cast<char**>(NULL), 10);
Gaurav Shah80d129b2010-03-03 17:58:43 -0800183 if (errno)
184 return false;
185 break;
Gaurav Shah528a2c12010-03-18 13:10:10 -0700186 case 15: // describe
187 is_describe_ = true;
188 break;
Gaurav Shah80d129b2010-03-03 17:58:43 -0800189 }
190 }
191 }
192 return CheckOptions();
193}
194
195void KernelUtility::OutputSignedImage(void) {
196 if (image_) {
197 if (!WriteKernelImage(out_file_.c_str(), image_)) {
198 cerr << "Couldn't write verified boot kernel image to file "
199 << out_file_ <<".\n";
200 }
201 }
202}
203
Gaurav Shah528a2c12010-03-18 13:10:10 -0700204void KernelUtility::DescribeSignedImage(void) {
205 image_ = ReadKernelImage(in_file_.c_str());
206 if (!image_) {
207 cerr << "Couldn't read kernel image or malformed image.\n";
208 return;
209 }
210 PrintKernelImage(image_);
211}
212
Gaurav Shah80d129b2010-03-03 17:58:43 -0800213bool KernelUtility::GenerateSignedImage(void) {
Gaurav Shah456678b2010-03-10 18:38:45 -0800214 uint64_t kernel_key_pub_len;
Gaurav Shah80d129b2010-03-03 17:58:43 -0800215 image_ = KernelImageNew();
216
217 Memcpy(image_->magic, KERNEL_MAGIC, KERNEL_MAGIC_SIZE);
218
219 // TODO(gauravsh): make this a command line option.
220 image_->header_version = 1;
221 image_->firmware_sign_algorithm = (uint16_t) firmware_sign_algorithm_;
222 // Copy pre-processed public signing key.
223 image_->kernel_sign_algorithm = (uint16_t) kernel_sign_algorithm_;
224 image_->kernel_sign_key = BufferFromFile(kernel_key_pub_file_.c_str(),
225 &kernel_key_pub_len);
226 if (!image_->kernel_sign_key)
227 return false;
228 image_->kernel_key_version = kernel_key_version_;
229
230 // Update header length.
231 image_->header_len = GetKernelHeaderLen(image_);
232
233 // Calculate header checksum.
Gaurav Shah528a2c12010-03-18 13:10:10 -0700234 CalculateKernelHeaderChecksum(image_, image_->header_checksum);
Gaurav Shah80d129b2010-03-03 17:58:43 -0800235
236 image_->kernel_version = kernel_version_;
237 image_->options.version[0] = options_.version[0];
238 image_->options.version[1] = options_.version[1];
Gaurav Shah528a2c12010-03-18 13:10:10 -0700239 // TODO(gauravsh): Add a command line option for this.
240 Memset(image_->options.cmd_line, 0, sizeof(image_->options.cmd_line));
Gaurav Shah80d129b2010-03-03 17:58:43 -0800241 image_->options.kernel_load_addr = options_.kernel_load_addr;
242 image_->options.kernel_entry_addr = options_.kernel_entry_addr;
243 image_->kernel_data = BufferFromFile(in_file_.c_str(),
244 &image_->options.kernel_len);
245 if (!image_)
246 return false;
247 // Generate and add the signatures.
248 if (!AddKernelKeySignature(image_, firmware_key_file_.c_str())) {
Gaurav Shahccaa90f2010-03-17 20:40:23 -0700249 cerr << "Couldn't write key signature to verified boot kernel image.\n";
Gaurav Shah80d129b2010-03-03 17:58:43 -0800250 return false;
251 }
252
253 if (!AddKernelSignature(image_, kernel_key_file_.c_str())) {
Gaurav Shahccaa90f2010-03-17 20:40:23 -0700254 cerr << "Couldn't write firmware signature to verified boot kernel image.\n";
Gaurav Shah80d129b2010-03-03 17:58:43 -0800255 return false;
256 }
257 return true;
258}
259
260bool KernelUtility::VerifySignedImage(void) {
261 int error;
262 firmware_key_pub_ = RSAPublicKeyFromFile(firmware_key_pub_file_.c_str());
263 image_ = ReadKernelImage(in_file_.c_str());
264
265 if (!firmware_key_pub_) {
266 cerr << "Couldn't read pre-processed public root key.\n";
267 return false;
268 }
269
270 if (!image_) {
Gaurav Shahccaa90f2010-03-17 20:40:23 -0700271 cerr << "Couldn't read kernel image or malformed image.\n";
Gaurav Shah80d129b2010-03-03 17:58:43 -0800272 return false;
273 }
274 if (!(error = VerifyKernelImage(firmware_key_pub_, image_, 0)))
275 return true;
276 cerr << VerifyKernelErrorString(error) << "\n";
277 return false;
278}
279
280bool KernelUtility::CheckOptions(void) {
Gaurav Shah528a2c12010-03-18 13:10:10 -0700281 // Ensure that only one of --{describe|generate|verify} is set.
282 if (!((is_describe_ && !is_generate_ && !is_verify_) ||
283 (!is_describe_ && is_generate_ && !is_verify_) ||
284 (!is_describe_ && !is_generate_ && is_verify_))) {
285 cerr << "One (and only one) of --describe, --generate or --verify "
286 << "must be specified.\n";
Gaurav Shah80d129b2010-03-03 17:58:43 -0800287 return false;
288 }
289 // Common required options.
290 if (in_file_.empty()) {
291 cerr << "No input file specified.\n";
292 return false;
293 }
294 // Required options for --verify.
295 if (is_verify_ && firmware_key_pub_file_.empty()) {
296 cerr << "No pre-processed public firmware key file specified.\n";
297 return false;
298 }
299 // Required options for --generate.
300 if (is_generate_) {
301 if (firmware_key_file_.empty()) {
302 cerr << "No firmware key file specified.\n";
303 return false;
304 }
305 if (kernel_key_file_.empty()) {
306 cerr << "No kernel key file specified.\n";
307 return false;
308 }
309 if (kernel_key_pub_file_.empty()) {
310 cerr << "No pre-processed public kernel key file specified\n";
311 return false;
312 }
313 if (kernel_key_version_ <= 0 || kernel_key_version_ > UINT16_MAX) {
314 cerr << "Invalid or no kernel key version specified.\n";
315 return false;
316 }
317 if (firmware_sign_algorithm_ < 0 ||
318 firmware_sign_algorithm_ >= kNumAlgorithms) {
319 cerr << "Invalid or no firmware signing key algorithm specified.\n";
320 return false;
321 }
322 if (kernel_sign_algorithm_ < 0 ||
323 kernel_sign_algorithm_ >= kNumAlgorithms) {
324 cerr << "Invalid or no kernel signing key algorithm specified.\n";
325 return false;
326 }
327 if (kernel_version_ <=0 || kernel_version_ > UINT16_MAX) {
328 cerr << "Invalid or no kernel version specified.\n";
329 return false;
330 }
331 if (out_file_.empty()) {
332 cerr <<"No output file specified.\n";
333 return false;
334 }
335 }
336 return true;
337}
338
339} // namespace vboot_reference
340
341int main(int argc, char* argv[]) {
Gaurav Shah528a2c12010-03-18 13:10:10 -0700342 vboot_reference::KernelUtility ku;
343 if (!ku.ParseCmdLineOptions(argc, argv)) {
344 ku.PrintUsage();
Gaurav Shah80d129b2010-03-03 17:58:43 -0800345 return -1;
346 }
Gaurav Shah528a2c12010-03-18 13:10:10 -0700347 if (ku.is_describe()) {
348 ku.DescribeSignedImage();
Gaurav Shah80d129b2010-03-03 17:58:43 -0800349 }
Gaurav Shah528a2c12010-03-18 13:10:10 -0700350 else if (ku.is_generate()) {
351 if (!ku.GenerateSignedImage())
352 return -1;
353 ku.OutputSignedImage();
354 }
355 else if (ku.is_verify()) {
Gaurav Shah80d129b2010-03-03 17:58:43 -0800356 cerr << "Verification ";
Gaurav Shah528a2c12010-03-18 13:10:10 -0700357 if (ku.VerifySignedImage())
Gaurav Shah80d129b2010-03-03 17:58:43 -0800358 cerr << "SUCCESS.\n";
359 else
360 cerr << "FAILURE.\n";
361 }
362 return 0;
363}