Microchip PIC32 serial support

modulename: pic32_uart.ko

configname: CONFIG_SERIAL_PIC32

Linux Kernel Configuration
└─>Device Drivers
└─>Character devices
└─>Serial drivers
└─>Microchip PIC32 serial support
In linux kernel since version 3.10 (release Date: 2013-06-30)  
If you have a PIC32, this driver supports the serial ports.

Say Y or M to use PIC32 serial ports, otherwise say N. Note that
to use a serial port as a console, this must be included in kernel and
not as a module.

source code: