2 * vrl4 format generator
4 * Copyright (C) 2010 Simon Horman
6 * This file is subject to the terms and conditions of the GNU General Public
7 * License. See the file "COPYING" in the main directory of this archive
12 * usage: vrl4 < zImage > out
13 * dd if=out of=/dev/sdx bs=512 seek=1 # Write the image to sector 1
15 * Reads a zImage from stdin and writes a vrl4 image to stdout.
16 * In practice this means writing a padded vrl4 header to stdout followed
19 * The padding places the zImage at ALIGN bytes into the output.
20 * The vrl4 uses ALIGN + START_BASE as the start_address.
21 * This is where the mask ROM will jump to after verifying the header.
23 * The header sets copy_size to min(sizeof(zImage), MAX_BOOT_PROG_LEN) + ALIGN.
24 * That is, the mask ROM will load the padded header (ALIGN bytes)
25 * And then MAX_BOOT_PROG_LEN bytes of the image, or the entire image,
26 * whichever is smaller.
28 * The zImage is not modified in any way.
37 #include <tools/endian.h>
45 uint16_t boot_options;
47 uint32_t start_address;
53 #define DECLARE_HDR(h) \
55 .magic1 = htole32(0xea000000), \
56 .reserved1 = htole32(0x56), \
57 .magic2 = htole32(0xe59ff008), \
58 .reserved3 = htole16(0x1) }
60 /* Align to 512 bytes, the MMCIF sector size */
62 #define ALIGN (1 << ALIGN_BITS)
64 #define START_BASE 0xe55b0000
67 * With an alignment of 512 the header uses the first sector.
68 * There is a 128 sector (64kbyte) limit on the data loaded by the mask ROM.
69 * So there are 127 sectors left for the boot programme. But in practice
70 * Only a small portion of a zImage is needed, 16 sectors should be more
73 * Note that this sets how much of the zImage is copied by the mask ROM.
74 * The entire zImage is present after the header and is loaded
75 * by the code in the boot program (which is the first portion of the zImage).
77 #define MAX_BOOT_PROG_LEN (16 * 512)
79 #define ROUND_UP(x) ((x + ALIGN - 1) & ~(ALIGN - 1))
81 static ssize_t do_read(int fd, void *buf, size_t count)
86 while (offset < count) {
87 l = read(fd, buf + offset, count - offset);
91 if (errno == EAGAIN || errno == EWOULDBLOCK)
102 static ssize_t do_write(int fd, const void *buf, size_t count)
107 while (offset < count) {
108 l = write(fd, buf + offset, count - offset);
110 if (errno == EAGAIN || errno == EWOULDBLOCK)
121 static ssize_t write_zero(int fd, size_t len)
127 if (do_write(fd, &x, 1) < 0)
137 char boot_program[MAX_BOOT_PROG_LEN];
138 size_t aligned_hdr_len, alligned_prog_len;
141 prog_len = do_read(0, boot_program, sizeof(boot_program));
145 aligned_hdr_len = ROUND_UP(sizeof(hdr));
146 hdr.start_address = htole32(START_BASE + aligned_hdr_len);
147 alligned_prog_len = ROUND_UP(prog_len);
148 hdr.copy_size = htole16(aligned_hdr_len + alligned_prog_len);
150 if (do_write(1, &hdr, sizeof(hdr)) < 0)
152 if (write_zero(1, aligned_hdr_len - sizeof(hdr)) < 0)
155 if (do_write(1, boot_program, prog_len) < 0)
158 /* Write out the rest of the kernel */
160 prog_len = do_read(0, boot_program, sizeof(boot_program));
165 if (do_write(1, boot_program, prog_len) < 0)