[Resolved, sort of] Accessing boards in Arduino IDE

HI,

I've successfully installed the official Arduino 1.6.9 beta built for arm and the program is running great but I can't get it to connect to the board I am using (a Teensy 3.2).

The board seems to be attached at /dev/usb/hiddev0 but the Tool/Port menu offers only

/dev/ttymxc1
/dev/ttymxc2 and
/dev/ttymxc3

which are iMX6 UART ports IIRC, not  USB serial ports.

How do I access my board?

merci!

EDIT: well... I'll investigate but it appears I'm using a patched Arduino version... the Teensyduino... So I'll post in the relevant forum. Probably not a Novena thing. I'll try to reinstall a Kosher Arduino1.6.9 and access another board (via the Board Manager).

EDIT2: this is definitely a board issue... I didn't think I had to install drivers (I thought it had a FTDI or Prolix chip). So this has nothing to do with novena, sorry!  8-)
here's the relevant link https://forum.pjrc.com/threads/25054-Tw … #post41459