Serge Vakulenko 581ab61262 Fixed bug in gpio driver: /dev/confX device not able to configure the pin mask.

2015-05-14 12:38:04 -07:00

..

include

Finalize skel.h.

2015-02-05 19:12:50 -08:00

kernel

At startup, set peripheral clock PBCLK as defined by busdiv option

2015-02-14 20:20:19 -08:00

pic32

Fixed bug in gpio driver: /dev/confX device not able to configure the pin mask.

2015-05-14 12:38:04 -07:00