I have an Nvidia Jetson Nano that I was gifted by the Fedora project to troubleshoot some arm specific packaging issues. That's done now so I decided to see what else I could do with it.

I found NodeRED which had a module for the Raspberry Pi to control the GPIO. I have since forked that project and have made some progress porting it to the Nano. 

Now I want to see if I can get the serial header working. From what I can tell if running the linux OS provided by Nvidia there should be a serial device named /dev/ttyTHS1 but it's not getting detected AFAICT grepping through dmesg.

I found the page for the serial-tegra that should be in the linux kernel but if I try:

# modprobe serial-tegra

Nothing happens, no output if I try adding "-v" as an option either. So does the module exist or not? If I try some random name in modprobe it gives an error which makes me think it's present, but it doesn't load and doesn't give me any helpful reason why.

Ideas?

Thanks,
Richard