OSX 10.8 - Arduino Due - Serial ports not showing

Using Arduino IDE 1.x
11

If neither port is showing up, I'm not sure that indicates a bootloader issue since the ports are connected to different chips.