If want to do iOS kernel debugging on A4 device,
first you should install Virtual COM port (VCP) drivers.
After has installed the driver on OS X Mavericks,
plugin your device (for examle: iPod Touch 4, WiFi),
then execute the following command:
ls /dev/tty.usb*
Sadly, can't find the device.
Following the steps to fix this issue:
Step 1: Install VCP Driver.
Step 2: Unload the driver: sudo kextunload /System/Library/Extensions/FTDIUSBSerialDriver.kext
Step 3: Edit driver Info.plist:
cp /System/Library/Extensions/FTDIUSBSerialDriver.kext/Contents/Info.plist ~/Desktop/
open the plist file with xcode,
extend the IOKitPersonalities key,
copy an existing item, for example: iPod Serial Port,
and change vendor and produnt id for your device, for example :iPod Touch 4, WiFi, VID is 1659, PID is 8963,
save the plist file,
and then
sudo cp -f ~/Desktop/Info.plist /System/Library/Extensions/FTDIUSBSerialDriver.kext/Contents/
Step 4: Load the driver: sudo kextload /System/Library/Extensions/FTDIUSBSerialDriver.kext
Step 5: view device: ls /dev/tty.usb*, you will see it
The Key Point:
Rules Of Driver Best Match: Product ID & Vendor ID.
ref:
http://www.ftdichip.com/Drivers/VCP.htm
http://www.ftdichip.com/Support/Documents/InstallGuides/Mac_OS_X_Installation_Guide.pdf