[CCC DEV] TVM on arduino layout

[Mathias Spiessens]

Hi all,

To upload an occam program (.tbc format) to the arduino it is first 
converted to hex format. And a fixed starting address (BYTECODE_ADDR) is 
given to layout the hex file correctly. "avrdude" is used with auto 
erase disabled to leave the TVM (already in flash) intact and put the 
program in flash. BYTECODE_ADDR is then used by the tvm to locate the 
bytecode in flash. This is also the reason the "tbc.c" file (wrapper) is 
needed in addition to the "tencode.c" file (interpreter core).

Is this correct?

It is possible to write a memory region on the Intel SCC, but for 
simplicity it would be nice to just have a header and recompile tvm + 
that header. Is there a tool/script to convert the .tbc to a C header file?

Thanks in advance!

Best regards,

Mathias Spiessens