On Tue, Oct 15, 2013 at 3:39 PM, Christian Ruppert
[off-list ref] wrote:

The pinmux driver of the Abilis Systems TB10x platform based on ARC700 CPUs.
Used to control the pinmux and is a prerequisite for the GPIO driver.

Signed-off-by: Christian Ruppert <redacted>
Signed-off-by: Pierrick Hascoet <redacted>

Excellent work Christian, of course I cannot resist this driver now
that everything is looking good and the deps are in place, so
patch applied.

Yours,
Linus Walleij