I recently have been distressed by unable to load real-time serial driver (xenomai). I would like to ask who has successfully used the real-time serial driver, please teach about the experience, thanks very much!
Here is the problem I encountered ：
setserial /dev/ttyO2
/dev/ttyO2, UART: undefined, Port: 0x0000, IRQ: 90
setserial /dev/ttyO2 uart none
Cannot set serial info: Invalid argument
/sbin/modprobe xeno_16550A mem=0x48024000 irq=90 baud_base=115200
Message from syslogd@arm at Sep 27 01:45:52 …
kernel:[ 145.027662] Internal error: : 1028 [#1] SMP ARM
Segmentation fault
Message from syslogd@arm at Sep 27 01:45:52 …
kernel:[ 145.100983] Process modprobe (pid: 2084, stack limit = 0xdf2a0240)