1
0
Fork 0
forked from len0rd/rockbox
foxbox/utils/atj2137/atjboottool/fw.c
Nikita Burnashev e232f69214 atjboottool: gzipped fw files, option for big-endian fw, clarify ECIES in fwu
Added fw modifications required to unpack real world player dumps.


Documented more fwu header fields, magic numbers and finite field arithmetics (extended Euclidean for inverse, long division for reducing modulo field_poly).

v3 encryption used is standard RC4 with the key additionally ciphered by the Elliptic Curve Integrated Encryption Scheme.

Either sect233k1 (NIST K-233) or sect163r2 (NIST B-163) curves can be used, with the former overwhelmingly prevailing, being hardwired in SDK's maker.exe. Using a private/public key scheme is superfluous because both are stored in the firmware, with the added level of complexity likely serving the purpose of obfuscation. The private key is generated at random with each invokation.

None of KDF or MAC from ECIES are used, RC4 key is directly xored with the shared secret. The random number r used to calculate rG isn't stored, but that's unimportant since only krG == rkG is actually used in the encryption.

Change-Id: Ieacf8cc744bc90c7c5582dd724b2c10a41bfc191
2023-05-17 13:19:31 -04:00

308 lines
9.3 KiB
C

/***************************************************************************
* __________ __ ___.
* Open \______ \ ____ ____ | | _\_ |__ _______ ___
* Source | _// _ \_/ ___\| |/ /| __ \ / _ \ \/ /
* Jukebox | | ( <_> ) \___| < | \_\ ( <_> > < <
* Firmware |____|_ /\____/ \___ >__|_ \|___ /\____/__/\_ \
* \/ \/ \/ \/ \/
* $Id$
*
* Copyright (C) 2017 Amaury Pouly
*
* This program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public License
* as published by the Free Software Foundation; either version 2
* of the License, or (at your option) any later version.
*
* This software is distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY
* KIND, either express or implied.
*
****************************************************************************/
#include <string.h>
#include <stdlib.h>
#include <ctype.h>
#include "misc.h"
#include "fw.h"
#include "afi.h"
#define FW_SIG_SIZE 4
#define FW_ENTRIES 240
struct fw_entry_t
{
char name[8];
char ext[3];
uint8_t attr;
uint8_t res[2];
uint16_t version;
uint32_t block_offset; // offset shift by 9
uint32_t size;
uint32_t bytes;
uint32_t checksum;
} __attribute__((packed));
struct fw_hdr_t
{
uint8_t sig[FW_SIG_SIZE];
uint32_t res[4];
uint8_t year[2];
uint8_t month;
uint8_t day;
uint16_t usb_vid;
uint16_t usb_pid;
uint32_t checksum;
char productor[16];
char str2[16];
char str3[32];
char dev_name[32];
uint8_t res2[8 * 16];
char usb_name1[8];
char usb_name2[8];
char res3[4 * 16 + 1];
char mtp_name1[33];
char mtp_name2[33];
char mtp_ver[33];
uint16_t mtp_vid;
uint16_t mtp_pid;
char fw_ver[64];
uint32_t res4[2];
struct fw_entry_t entry[FW_ENTRIES];
} __attribute__((packed));
/* the s1fwx source code has a layout but it does not make any sense for firmwares
* found in ATJ2127 for example. In doubt just don't do anything */
struct fw_hdr_f0_t
{
uint8_t sig[FW_SIG_SIZE];
uint8_t res[12];
uint32_t checksum;
uint8_t res2[490];
uint16_t header_checksum;
struct fw_entry_t entry[FW_ENTRIES];
} __attribute__((packed));
const uint8_t g_fw_signature_f2[FW_SIG_SIZE] =
{
0x55, 0xaa, 0xf2, 0x0f
};
const uint8_t g_fw_signature_f0[FW_SIG_SIZE] =
{
0x55, 0xaa, 0xf0, 0x0f
};
static void build_filename_fw(char buf[16], struct fw_entry_t *ent)
{
int pos = 0;
for(int i = 0; i < 8 && ent->name[i] != ' '; i++)
buf[pos++] = tolower(ent->name[i]);
buf[pos++] = '.';
for(int i = 0; i < 3 && ent->ext[i] != ' '; i++)
buf[pos++] = tolower(ent->ext[i]);
buf[pos] = 0;
}
static inline uint32_t u32_endian_swap(uint32_t u32)
{
return ((u32 & 0xff000000u) >> 24) |
((u32 & 0x00ff0000u) >> 8) |
((u32 & 0x0000ff00u) << 8) |
((u32 & 0x000000ffu) << 24);
}
static uint32_t big_endian_checksum(void *ptr, size_t size)
{
uint32_t crc = 0;
uint32_t *cp = ptr;
for(; size >= 4; size -= 4)
crc += u32_endian_swap(*cp++);
/* FIXME all observed sizes divisible by 4, unclear how to add remainder */
return crc;
}
static inline uint16_t u16_endian_swap(uint16_t u16)
{
return ((u16 & 0xff00u) >> 8) |
((u16 & 0x00ffu) << 8);
}
static uint16_t lfi_header_checksum(void *ptr, size_t size, bool big_endian)
{
uint16_t crc = 0;
uint16_t *cp = ptr;
if (big_endian)
{
for(; size >= 2; size -= 2)
crc += u16_endian_swap(*cp++);
return u16_endian_swap(crc); /* to make comparable with the stored one */
}
else
{
for(; size >= 2; size -= 2)
crc += *cp++;
return crc;
}
}
int fw_unpack(uint8_t *buf, size_t size, fw_extract_callback_t unpack_cb, bool big_endian)
{
struct fw_hdr_t *hdr = (void *)buf;
if(size < sizeof(struct fw_hdr_t))
{
cprintf(GREY, "File too small\n");
return 1;
}
cprintf(BLUE, "Header\n");
cprintf(GREEN, " Signature:");
for(int i = 0; i < FW_SIG_SIZE; i++)
cprintf(YELLOW, " %02x", hdr->sig[i]);
int variant = 0;
if(memcmp(hdr->sig, g_fw_signature_f2, FW_SIG_SIZE) == 0)
{
variant = 0xf2;
cprintf(RED, " Ok (f2 variant)\n");
}
else if(memcmp(hdr->sig, g_fw_signature_f0, FW_SIG_SIZE) == 0)
{
variant = 0xf0;
cprintf(RED, " Ok (f0 variant)\n");
}
else
{
cprintf(RED, " Mismatch\n");
return 1;
}
/* both variants have the same header size, only the fields differ */
if(variant == 0xf2)
{
cprintf_field(" USB VID: ", "0x%x\n", hdr->usb_vid);
cprintf_field(" USB PID: ", "0x%x\n", hdr->usb_pid);
cprintf_field(" Date: ", "%x/%x/%02x%02x\n", hdr->day, hdr->month, hdr->year[0], hdr->year[1]);
cprintf_field(" Checksum: ", "%x\n", hdr->checksum);
cprintf_field(" Productor: ", "%.16s\n", hdr->productor);
cprintf_field(" String 2: ", "%.16s\n", hdr->str2);
cprintf_field(" String 3: ", "%.32s\n", hdr->str3);
cprintf_field(" Device Name: ", "%.32s\n", hdr->dev_name);
cprintf(GREEN, " Unknown:\n");
for(int i = 0; i < 8; i++)
{
cprintf(YELLOW, " ");
for(int j = 0; j < 16; j++)
cprintf(YELLOW, "%02x ", hdr->res2[i * 16 + j]);
cprintf(YELLOW, "\n");
}
cprintf_field(" USB Name 1: ", "%.8s\n", hdr->usb_name1);
cprintf_field(" USB Name 2: ", "%.8s\n", hdr->usb_name2);
cprintf_field(" MTP Name 1: ", "%.32s\n", hdr->mtp_name1);
cprintf_field(" MTP Name 2: ", "%.32s\n", hdr->mtp_name2);
cprintf_field(" MTP Version: ", "%.32s\n", hdr->mtp_ver);
cprintf_field(" MTP VID: ", "0x%x\n", hdr->mtp_vid);
cprintf_field(" MTP PID: ", "0x%x\n", hdr->mtp_pid);
cprintf_field(" FW Version: ", "%.64s\n", hdr->fw_ver);
}
else
{
struct fw_hdr_f0_t *hdr_f0 = (void *)hdr;
uint32_t chk;
if (big_endian)
chk = u32_endian_swap(big_endian_checksum(buf + 0x200, 0x1e00));
else
chk = afi_checksum(buf + 0x200, 0x1e00);
cprintf_field(" Directory checksum: ", "0x%x ", hdr_f0->checksum);
if(chk != hdr_f0->checksum)
{
cprintf(RED, "Mismatch, 0x%x expected\n", chk);
return 1;
}
else
cprintf(RED, "Ok\n");
uint16_t header_chk = lfi_header_checksum(buf, 510, big_endian);
cprintf_field(" Header checksum: ", "0x%x ", hdr_f0->header_checksum);
if(header_chk != hdr_f0->header_checksum)
{
cprintf(RED, "Mismatch, 0x%x expected\n", header_chk);
return 1;
}
else
cprintf(RED, "Ok\n");
cprintf(GREEN, " Rest of header not dumped because format is unclear.\n");
}
cprintf(BLUE, "Entries\n");
for(int i = 0; i < FW_ENTRIES; i++)
{
if(hdr->entry[i].name[0] == 0)
continue;
struct fw_entry_t *entry = &hdr->entry[i];
if (big_endian)
{
/* must be in-place for correct load checksum later */
entry->block_offset = u32_endian_swap(entry->block_offset);
entry->size = u32_endian_swap(entry->size);
entry->checksum = u32_endian_swap(entry->checksum);
}
char filename[16];
build_filename_fw(filename, entry);
cprintf(RED, " %s\n", filename);
cprintf_field(" Attr: ", "%02x\n", entry->attr);
cprintf_field(" Offset: ", "0x%x\n", entry->block_offset << 9);
cprintf_field(" Size: ", "0x%x\n", entry->size);
cprintf_field(" Bytes: ", "0x%x\n", entry->bytes);
cprintf_field(" Checksum: ", "0x%x ", entry->checksum);
if (entry->bytes == 0)
entry->bytes = entry->size;
memset(buf + (entry->block_offset << 9) + entry->bytes, 0, entry->size - entry->bytes);
uint32_t chk;
if (big_endian)
chk = big_endian_checksum(buf + (entry->block_offset << 9), entry->size);
else
chk = afi_checksum(buf + (entry->block_offset << 9), entry->size);
if(chk != entry->checksum)
{
cprintf(RED, "Mismatch\n");
return 1;
}
else
cprintf(RED, "Ok\n");
int ret = unpack_cb(filename, buf + (entry->block_offset << 9), entry->bytes);
if(ret != 0)
return ret;
}
if (big_endian)
{
uint32_t load_checksum = *(uint32_t *)(buf + size - 4);
uint32_t load_chk = big_endian_checksum(buf, size - 512);
cprintf_field(" Load checksum: ", "0x%x ", load_checksum);
if(load_chk != load_checksum)
{
cprintf(RED, "Mismatch, 0x%x expected\n", load_chk);
return 1;
}
else
cprintf(RED, "Ok\n");
}
return 0;
}
bool fw_check(uint8_t *buf, size_t size)
{
struct fw_hdr_t *hdr = (void *)buf;
if(size < sizeof(struct fw_hdr_t))
return false;
if(memcmp(hdr->sig, g_fw_signature_f2, FW_SIG_SIZE) == 0)
return true;
if(memcmp(hdr->sig, g_fw_signature_f0, FW_SIG_SIZE) == 0)
return true;
return false;
}