1 /***************************************************************************
3 * Open \______ \ ____ ____ | | _\_ |__ _______ ___
4 * Source | _// _ \_/ ___\| |/ /| __ \ / _ \ \/ /
5 * Jukebox | | ( <_> ) \___| < | \_\ ( <_> > < <
6 * Firmware |____|_ /\____/ \___ >__|_ \|___ /\____/__/\_ \
10 * Copyright (C) 2007 by Dave Chapman
12 * Based on mkboot, Copyright (C) 2005 by Linus Nielsen Feltzing
14 * All files in this archive are subject to the GNU General Public License.
15 * See the file COPYING in the source tree root for full license agreement.
17 * This software is distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY
18 * KIND, either express or implied.
20 ****************************************************************************/
25 #include <sys/types.h>
29 #include "telechips.h"
33 Append a Rockbox bootloader to a Telechips original firmware file.
35 The first instruction in a TCC firmware file is always of the form:
39 where [pc, #xxx] is the entry point of the firmware - e.g. 0x20000020
41 mktccboot appends the Rockbox bootloader to the end of the original
42 firmware image and replaces the contents of [pc, #xxx] with the entry
43 point of our bootloader - i.e. the length of the original firmware plus
46 It then stores the original entry point from [pc, #xxx] in a fixed
47 offset in the Rockbox boootloader, which is used by the bootloader to
50 Finally, mktccboot corrects the length and CRCs in the main firmware
51 header, creating a new legal firmware file which can be installed on
56 /* win32 compatibility */
62 static void put_uint32le(uint32_t x
, unsigned char* p
)
65 p
[1] = (x
>> 8) & 0xff;
66 p
[2] = (x
>> 16) & 0xff;
67 p
[3] = (x
>> 24) & 0xff;
70 static uint32_t get_uint32le(unsigned char* p
)
72 return (p
[3] << 24) | (p
[2] << 16) | (p
[1]<<8) | p
[0];
77 printf("Usage: mktccboot <firmware file> <boot file> <output file>\n");
82 off_t
filesize(int fd
) {
85 if (fstat(fd
,&buf
) < 0) {
86 perror("[ERR] Checking filesize of input file");
94 int main(int argc
, char *argv
[])
96 char *infile
, *bootfile
, *outfile
;
97 int fdin
, fdboot
,fdout
;
99 int inlength
,bootlength
;
101 unsigned char* image
;
112 fdin
= open(infile
, O_RDONLY
|O_BINARY
);
118 fdboot
= open(bootfile
, O_RDONLY
|O_BINARY
);
124 inlength
= filesize(fdin
);
125 bootlength
= filesize(fdboot
);
127 image
= malloc(inlength
+ bootlength
);
131 printf("[ERR] Could not allocate memory, aborting\n");
135 n
= read(fdin
, image
, inlength
);
138 printf("[ERR] Could not read from %s\n",infile
);
142 n
= read(fdboot
, image
+ inlength
, bootlength
);
145 printf("[ERR] Could not read from %s\n",bootfile
);
149 ldr
= get_uint32le(image
);
151 /* TODO: Verify it's a LDR instruction */
152 origoffset
= (ldr
&0xfff) + 8;
154 printf("original firmware entry point: 0x%08x\n",get_uint32le(image
+ origoffset
));
155 printf("New entry point: 0x%08x\n",0x20000000 + inlength
+ 8);
157 /* Save the original firmware entry point at the start of the bootloader image */
158 put_uint32le(get_uint32le(image
+ origoffset
),image
+inlength
);
159 put_uint32le(0x20000000 + inlength
,image
+ inlength
+ 4);
161 /* Change the original firmware entry point to the third word in our bootloader */
162 put_uint32le(0x20000000 + inlength
+ 8,image
+origoffset
);
165 telechips_encode_crc(image
, inlength
+ bootlength
);
167 fdout
= open(outfile
, O_WRONLY
|O_CREAT
|O_TRUNC
|O_BINARY
, 0644);
173 n
= write(fdout
, image
, inlength
+ bootlength
);
174 if (n
!= inlength
+ bootlength
)
176 printf("[ERR] Could not write output file %s\n",outfile
);