[C.CC USERS] TVM can not load an occam program on an Arduino MEGA 2560 board

[Pierre-Yves Lucas]

Hi, 

I am a PhD student in University of Brest, Fance. I am working on
wireless sensor networks. 

I have an Arduino MEGA 2560 board, and I would like to run occam
programs on it. I am working on Ubuntu 11.04, 64-bit.  

The board seems to work fine, as I tested it successfuly with some
examples brought by the Arduino environment, "Arduino 0022". 

I downloaded the sources of the kroc compiler from the svn repository :
"http://projects.cs.kent.ac.uk/projects/kroc/svn/kroc/branches/kroc-1.5". I followed the instructions for embedded platforms : the virtual machine is successfuly built, and when I download it on the board (make upload), the program says 
"Arduino-TVM starting...
tvm-arduino: program loading failed" 

Then, I tried to upload an occam program on the board (eg, make upload
PROG=blink). Avrdude works well, but nothing appears on the terminal (no
message "Arduino-TVM starting...") and the led does not blink. 

I have concatenated the two files, tvm-arduino.hex and blink.hex (cat
tvm-arduino.hex occam/blink.hex > tvm-arduino-blink.hex) and I have
reloaded the code into the board 
(avrdude -C avrdude.conf -V -F -p atmega2560 -P /dev/ttyACM0 -b 115200
-c stk500v2 -U flash:w:tvm-arduino-blink.hex). The command
"./read-arduino /dev/ttyACM0" still says "tvm-arduino: program loading
failed". 

I tried to use others versions of the compiler tree, like
kroc/branches/avr-atmega2560, and even the "trunk" repository. I also
tried to upload a simple occam program, without I/O. But I have the same
results. 

I am wondering if the tvm machine reads the occam code at the wrong
memory address. 

I need some help please in order to go further in my work. 

Thanks, 

Pierre-Yves