Hello, I am attempting to connect to the serial port on the k64F for the purposes of reading debugging information (via printf and the debug mode in https://os.mbed.com/teams/Avnet/code/easy-connect-wnc/).
I am following the instructions here: https://os.mbed.com/platforms/FRDM-K64F/#pc-configuration as well as the statements in https://marketplace.att.com/tutorials/starter-kit-guide .
These instructions state that as I am on macOS, I should see the board under the name /dev/tty.usbmodem* . However, I see no device attached here, despite the fact the program I am loading includes the line "Serial pc(USBTX, USBRX);" The second guide refers me to https://os.mbed.com/handbook/SerialPC , which also states that the device should be under /dev/tty.usbmodem.
Does anyone have some recommendations as to why the device may not be showing? I have tried plugging into both of the USB ports on the board but have not had success. When I plug into the USB port on the modem board I see tty.usbmodem1413/15/17, but none of these seem to carry the output from the k64f. tty.usbmodem1413 seems to allow for the issuance of AT commands to the modem, but nothing shows on tty.usbmobem1415/17, even if I am running a program that does nothing but make calls to printf.