Lines Matching refs:kernel
58 num_kernel_pages = get_number_of_pages(filesize(args.kernel), args.pagesize)
73 filesize(args.kernel), # kernel size in bytes
93 args.base + args.kernel_offset, # kernel physical load addr
97 args.vendor_boot.write(pack('I', args.base + args.tags_offset)) # physical addr for kernel tags
121 filesize(args.kernel), # size in bytes
127 args.base + args.tags_offset, # physical addr for kernel tags
135 update_sha(sha, args.kernel)
230 parser.add_argument('--kernel', help='path to the kernel', type=FileType('rb'))
241 'kernel command line', default='', action=ValidateStrLenAction, maxlen=1536)
243 help='kernel command line arguments contained in vendor boot',
246 parser.add_argument('--kernel_offset', help='kernel offset', type=parse_int, default=0x00008000)
274 write_padded_file(args.output, args.kernel, pagesize)
299 if args.kernel is None:
300 raise ValueError('kernel must be supplied when creating a boot image')