Serge Vakulenko 4ca4a58468 For SD card, use parameters generated by kernel config utility.

2015-09-19 21:58:45 -07:00

..

include

Setup only UARTs, defined in the kernel config file.

2015-09-19 21:23:07 -07:00

kernel

Use ioconf.c for device configuration.

2015-09-14 20:28:31 -07:00

pic32

For SD card, use parameters generated by kernel config utility.

2015-09-19 21:58:45 -07:00