Raspberry Pi hardware serial is not seen by the serial module

[siteswapjuggler]

Environment

• OS: Rapsberry Pi 4
• Version: Raspbian Buster

Describe the bug It's beetween a bug and feature request actually. I try to connect with a teensy via GPIO14/GPIO15 UART. I'm sure of the setting as it works perfectly with a python script but the serial port doesn't appear in Chataigne.

To Reproduce Steps to reproduce the behavior:

1. setup the RPi serial port
2. run Chataigne
3. create a serial port object
4. the serial port doesn't appear in the dropdown menu

Expected behavior Get the serial port in the dropdown menu either the dynamic link '/dev/serial0' or the device tree adress '/dev/ttyAMA0'

Additional context Actually I suspect that the filter, filters out those result because I can see '/dev/ttyS0' (wich is the serial path when used for the terminal) it can also see the Teensy USB (with the teensy descriptor) but it cannot the hardware port as specified above.

This will be used in an installation by october, I can work on it if and suggest a push request if you point me the file to work on with. Anyhow no urgency as I can use USB as a replacement ;)

Have a nice day