FTDI Driver on OSX Mojave 10.14.3

I have a Sparkfun ESP8266 Thing Dev board connected to a MacBook pro via USB C. In the Arduino IDE there’s no port showing up.

I installed the [FTDI drivers as instructed [on the sparkfun tutorial and rebooted just for good measure. That still didn’t work.

I found [this post suggesting that Apple’s AppleUSBFTDI.kext FTDI driver was conflicting. I rebooted in recovery mode, moved AppleUSBFTDI.kext to my home folder, and started up again. I still don’t get the port showing up.

I’ve checked with

ls /dev/tty*

and the VCP does not show up. Nothing shows up in my USB device tree (System Information → Hardware → USB) either.

Anyone suggestions of what I should try next?](macos - How to release/reset serial port FTDI devices - Mac OSX - Super User)](How to Install FTDI Drivers - SparkFun Learn)](https://www.ftdichip.com/Drivers/VCP.htm)

I don’t have exactly the same configuration as you, but am struggling with a similar problem; I have a MacBook Pro running Sierra and two Arduino boards; an UNO that’s probably four or five years old and a new SparkFun RedBoard. The Arduino IDE recognizes the old UNO, but not the RedBoard.