1. 2015-12-08 Re: [PATCH 08/14] pinctrl: Add PIC32 pin control driv linux-mip Joshua Henderson 2. 2015-12-08 Re: [PATCH 08/14] pinctrl: Add PIC32 pin control driv linux-ker Joshua Henderson 3. 2015-12-08 Re: [PATCH 08/14] pinctrl: Add PIC32 pin control driv linux-gpi Joshua Henderson 4. 2015-11-30 Re: [PATCH 08/14] pinctrl: Add PIC32 pin control driv linux-mip Linus Walleij 5. 2015-11-30 Re: [PATCH 08/14] pinctrl: Add PIC32 pin control driv linux-gpi Linus Walleij 6. 2015-11-30 Re: [PATCH 08/14] pinctrl: Add PIC32 pin control driv linux-ker Linus Walleij 7. 2015-11-21 [PATCH 08/14] pinctrl: Add PIC32 pin control driver linux-ker Joshua Henderson 8. 2015-11-21 [PATCH 08/14] pinctrl: Add PIC32 pin control driver linux-gpi Joshua Henderson 9. 2015-11-21 [PATCH 08/14] pinctrl: Add PIC32 pin control driver linux-mip Joshua Henderson