static unsigned char * trix_boot = NULL;
static int trix_boot_len = 0;