Lines Matching defs:kernel
119 int tagfile(const char *kernel, const char *rootfs, const char *bin, \
143 if (!kernel || !rootfs) {
144 fprintf(stderr, "imagetag can't create an image without both kernel and rootfs\n");
147 if (kernel && !(kernelfile = fopen(kernel, "rb"))) {
148 fprintf(stderr, "Unable to open kernel \"%s\"\n", kernel);
187 /* Build the kernel address and length (doesn't need to be aligned, read only) */
193 /* Build the kernel header */
198 /* Increase the kernel size by the header size */
210 /* Seek to the start of the kernel */
213 /* Write the kernel header */
216 /* Write the kernel */
254 /* Compute the crc32 of the kernel and padding between kernel and rootfs) */
256 /* Compute the crc32 of the kernel and padding between kernel and rootfs) */
261 * the image. Since we have the kernel first we have to give
262 * it the kernel address, but the crc uses the length
263 * associated with this address, which is added to the kernel
270 /* Build the kernel address and length (doesn't need to be aligned, read only) */
283 /* Seek to the start of the kernel */
287 /* Build the kernel header */
292 /* Write the kernel header */
295 /* Increase the kernel size by the header size */
299 /* Write the kernel */
319 /* Compute the crc32 of the kernel and padding between kernel and rootfs) */
428 char *kernel, *rootfs, *bin;
433 kernel = rootfs = bin = NULL;
444 kernel = parsed_args.kernel_arg;
523 return tagfile(kernel, rootfs, bin, &parsed_args, flash_start, image_offset, block_size, load_address, entry);