SGI IOC3 8250 UART support

modulename: 8250_ioc3.ko

configname: CONFIG_SERIAL_8250_IOC3

Linux Kernel Configuration
└─>Device Drivers
└─>Character devices
└─>Serial drivers
└─>SGI IOC3 8250 UART support
In linux kernel since version 5.1 (release Date: 2019-05-05)  
Enable this if you have a SGI Origin or Octane machine. This module
provides basic serial support by directly driving the UART chip
behind the IOC3 device on those systems. Maximum baud speed is
38400bps using this driver.

source code:
drivers/tty/serial/8250/8250_ioc3.c