/* the linux[] is generated by and equal to linux.bin. Here is a small example */
const char linux[]={0,192,160,225,211,0,160,227,0,240,33,225,144,32,159,229,
0,16,160,227,0,16,130,229,120,32,159,229,35,16,160,227};