The mystery SoC saga continues. Finding a LCD print function stranded: rather than a simple printf_to_lcd, there are simply a bunch of translated fixed strings encoded in a format I don't know. I'm getting somewhere with the 'time' field in the testmode, but I don't know enough about the ISA to decode anything useful. Decided to refocus on printf. Printf is both useless as well as incredibly useful: while I still have no way of getting its output, I'm intimately familiar with what printf should do, so it's great for mining the meaning of more opcodes. Got some loads, some stores, add, compare etc going on. Gonna try to get every single opcode in that function to make sense before re-trying the things I stopped because the ISA wasn't decoded enough.