Hi all,
I've adapted the c64_tools to a custom board, based on TI DM3730. All tests are successful, beside the performance (ARM running @800MHz):
Pandora:
[...] selected testcase 3 ("TC_RPC_ADD_BENCHMARK")
[...] coff_load_overlay: text=0x000005a0 data=0x0000006c bss=0x000010dc
[...]...