Dear Eric, here are some questions to you:
1. Which is the OS installed on your computer?
2. Have you got the FTDI converter?
3. Have you dowload the last update of Jawa files?

Stil the same problem. What can i do?

btw i have mac os 10.8.3

Hi i have the same controrller from Flyduino and the same problem any idea whet to do

Hi, I have also stepped through all of what you describe and just confirm it's a struggle.

I do not really understand the details of the VCP. It is impossible to make it work on my MacBookPro. I never see the serial device files in the terminal.
What is the driver for? The one in the host or the one on the board?
When I look in information of my Mac it show that I have a Silicon Labs CP2102 USB to UART on the bus. Thus I cannot use FTDI driver which have been mentioned in some forums.

However if I start XP in a VirtualBox it is apparently working. with the FTDI driver.
The VCP-driver create a COM3 port when I connect the USB cable to my AM board which avrdude communicate through and it actually write the "SimpleBGC_1_3b1.enc.hex" file when I set baudrate to 115200. Unfortunately it ends with an error.
Here is the transcript of the process:

avrdude.exe: AVR device initialized and ready to accept instructions

Reading | ################################################## | 100% 0.00s

avrdude.exe: Device signature = 0x1e950f
avrdude.exe: NOTE: FLASH memory has been specified, an erase cycle will be performed
To disable this feature, specify the -D option.
avrdude.exe: erasing chip
avrdude.exe: reading input file "\SimpleBGC_2_0b4.enc.hex"
avrdude.exe: input file \SimpleBGC_2_0b4.enc.hex auto detected as Intel Hex
avrdude.exe: writing flash (26194 bytes):

Writing | ################################################## | 100% 4.28s

avrdude.exe: 26194 bytes of flash written
avrdude.exe: verifying flash memory against \SimpleBGC_2_0b4.enc.hex:
avrdude.exe: load data flash data from input file \SimpleBGC_2_0b4.enc.hex:
avrdude.exe: input file \SimpleBGC_2_0b4.enc.hex auto detected as Intel Hex
avrdude.exe: input file \SimpleBGC_2_0b4.enc.hex contains 26194 bytes
avrdude.exe: reading on-chip flash data:

Reading | ################################################## | 100% 3.29s

avrdude.exe: verifying ...
avrdude.exe: verification error, first mismatch at byte 0x0000
0x0c != 0x00
avrdude.exe: verification error; content mismatch

Then the green led blink fast when done and keeps doing that undefinitely.
During the writing the green LED is off. After the write phase it is blinking slow, which I assume mean that the board restart.

I would like to know the meaning of the LEDs on the board. I guess the red is just power, but the green give some messages which would be nice to know of.
Off, on, slow blink and fast blink.

I have not connected motors nor the power yet.

Ah, found it. The CP2102 is on the AM-board. When I disconnect from my Mac it disappear from the list of USB devices.
So why can't I get the device files to appear in Mac OS? It's the only hinder now.

I have another project with KK control board which works 100% with a USB to serial converter together with KKMultikopter Flash Tool. Very easy to setup and use.
It's a GUI and uses avrdude underneath which goes via a USBAVR-programmer(equivalent to the onboard of Alexmos I suppose) which works like a charm on my MacBookPro.