We have tried Olimex ARM-USB-OCD-H debugged with Intel Galileo on a Ubuntu 10.4 host system running on Vmware player.
We were able to access the internal registers through command line and were able to flash elf/bin to the board,
We are trying to look for a GUI based debugger.