2 * Copyright © 2008 Keith Packard <keithp@keithp.com>
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License as published by
6 * the Free Software Foundation; either version 2 of the License, or
7 * (at your option) any later version.
9 * This program is distributed in the hope that it will be useful, but
10 * WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 * General Public License for more details.
14 * You should have received a copy of the GNU General Public License along
15 * with this program; if not, write to the Free Software Foundation, Inc.,
16 * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
26 #define AO_USB_DESC_STRING 3
31 fprintf(stderr, "usage: %s <filename.ihx> <serial>\n", program);
38 } serial_symbols[] = {
39 { 0, "_ao_serial_number" },
40 #define AO_SERIAL_NUMBER (serial_symbols[0].addr)
41 { 0, "_ao_usb_descriptors" },
42 #define AO_USB_DESCRIPTORS (serial_symbols[1].addr)
45 #define NUM_SERIAL_SYMBOLS (sizeof(serial_symbols)/sizeof(serial_symbols[0]))
48 find_symbols(FILE *map)
51 char *addr, *addr_end;
59 while (fgets(line, sizeof(line), map) != NULL) {
60 line[sizeof(line)-1] = '\0';
61 addr = strtok_r(line, " \t\n", &save);
64 name = strtok_r(NULL, " \t\n", &save);
67 colon = strchr (addr, ':');
70 a = strtoul(colon+1, &addr_end, 16);
71 if (a == ULONG_MAX || addr_end == addr)
73 for (s = 0; s < NUM_SERIAL_SYMBOLS; s++)
74 if (!strcmp(serial_symbols[s].name, name)) {
75 serial_symbols[s].addr = (unsigned) a;
80 return found == NUM_SERIAL_SYMBOLS;
84 rewrite(struct hex_image *image, unsigned addr, char *data, int len)
87 if (addr < image->address || image->address + image->length < addr + len)
89 printf("rewrite %04x:", addr);
90 for (i = 0; i < len; i++)
91 printf (" %02x", image->data[addr - image->address + i]);
93 for (i = 0; i < len; i++)
94 printf (" %02x", data[i]);
96 memcpy(image->data + addr - image->address, data, len);
99 static const struct option
101 main (int argc, char **argv)
106 struct hex_file *hex;
107 struct hex_image *image;
119 unsigned usb_descriptors;
123 if (filename == NULL)
125 mapname = strdup(filename);
126 dot = strrchr(mapname, '.');
127 if (!dot || strcmp(dot, ".ihx") != 0)
131 serial_string = argv[2];
132 if (serial_string == NULL)
135 file = fopen(filename, "r");
140 map = fopen(mapname, "r");
145 if (!find_symbols(map)) {
146 fprintf(stderr, "Cannot find symbols in \"%s\"\n", mapname);
151 hex = ccdbg_hex_file_read(file, filename);
157 image = ccdbg_hex_image_create(hex);
159 fprintf(stderr, "image create failed\n");
162 ccdbg_hex_file_free(hex);
164 serial = strtoul(serial_string, NULL, 0);
168 serial_int[0] = serial & 0xff;
169 serial_int[1] = (serial >> 8) & 0xff;
171 if (!rewrite(image, AO_SERIAL_NUMBER, serial_int, sizeof (serial_int))) {
172 fprintf(stderr, "Cannot rewrite serial integer at %04x\n",
177 usb_descriptors = AO_USB_DESCRIPTORS - image->address;
179 while (image->data[usb_descriptors] != 0 && usb_descriptors < image->length) {
180 if (image->data[usb_descriptors+1] == AO_USB_DESC_STRING) {
185 usb_descriptors += image->data[usb_descriptors];
187 if (usb_descriptors >= image->length || image->data[usb_descriptors] == 0 ) {
188 fprintf(stderr, "Cannot rewrite serial string at %04x\n", AO_USB_DESCRIPTORS);
192 serial_ucs2_len = image->data[usb_descriptors] - 2;
193 serial_ucs2 = malloc(serial_ucs2_len);
195 fprintf(stderr, "Malloc(%d) failed\n", serial_ucs2_len);
199 for (i = serial_ucs2_len / 2; i; i--) {
200 serial_ucs2[i * 2 - 1] = 0;
201 serial_ucs2[i * 2 - 2] = (s % 10) + '0';
204 if (!rewrite(image, usb_descriptors + 2 + image->address, serial_ucs2, serial_ucs2_len))
211 ccdbg_add_debug(CC_DEBUG_FLASH);
213 ccdbg_debug_mode(dbg);
215 if (image->address == 0xf000) {
216 printf("Loading %d bytes to execute from RAM\n",
218 ccdbg_write_hex_image(dbg, image, 0);
219 } else if (image->address == 0x0000) {
220 printf("Loading %d bytes to execute from FLASH\n",
222 ccdbg_flash_hex_image(dbg, image);
224 printf("Cannot load code to 0x%04x\n",
226 ccdbg_hex_image_free(image);
230 ccdbg_set_pc(dbg, image->address);