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.
44 uint16_t boot_options
;
46 uint32_t start_address
;
52 #define DECLARE_HDR(h) \
54 .magic1 = htole32(0xea000000), \
55 .reserved1 = htole32(0x56), \
56 .magic2 = htole32(0xe59ff008), \
57 .reserved3 = htole16(0x1) }
59 /* Align to 512 bytes, the MMCIF sector size */
61 #define ALIGN (1 << ALIGN_BITS)
63 #define START_BASE 0xe55b0000
66 * With an alignment of 512 the header uses the first sector.
67 * There is a 128 sector (64kbyte) limit on the data loaded by the mask ROM.
68 * So there are 127 sectors left for the boot programme. But in practice
69 * Only a small portion of a zImage is needed, 16 sectors should be more
72 * Note that this sets how much of the zImage is copied by the mask ROM.
73 * The entire zImage is present after the header and is loaded
74 * by the code in the boot program (which is the first portion of the zImage).
76 #define MAX_BOOT_PROG_LEN (16 * 512)
78 #define ROUND_UP(x) ((x + ALIGN - 1) & ~(ALIGN - 1))
80 ssize_t
do_read(int fd
, void *buf
, size_t count
)
85 while (offset
< count
) {
86 l
= read(fd
, buf
+ offset
, count
- offset
);
90 if (errno
== EAGAIN
|| errno
== EWOULDBLOCK
)
101 ssize_t
do_write(int fd
, const void *buf
, size_t count
)
106 while (offset
< count
) {
107 l
= write(fd
, buf
+ offset
, count
- offset
);
109 if (errno
== EAGAIN
|| errno
== EWOULDBLOCK
)
120 ssize_t
write_zero(int fd
, size_t len
)
126 if (do_write(fd
, &x
, 1) < 0)
136 char boot_program
[MAX_BOOT_PROG_LEN
];
137 size_t aligned_hdr_len
, alligned_prog_len
;
140 prog_len
= do_read(0, boot_program
, sizeof(boot_program
));
144 aligned_hdr_len
= ROUND_UP(sizeof(hdr
));
145 hdr
.start_address
= htole32(START_BASE
+ aligned_hdr_len
);
146 alligned_prog_len
= ROUND_UP(prog_len
);
147 hdr
.copy_size
= htole16(aligned_hdr_len
+ alligned_prog_len
);
149 if (do_write(1, &hdr
, sizeof(hdr
)) < 0)
151 if (write_zero(1, aligned_hdr_len
- sizeof(hdr
)) < 0)
154 if (do_write(1, boot_program
, prog_len
) < 0)
157 /* Write out the rest of the kernel */
159 prog_len
= do_read(0, boot_program
, sizeof(boot_program
));
164 if (do_write(1, boot_program
, prog_len
) < 0)