Serge Vakulenko a36504720c Update config files with new options.

2015-09-19 22:07:13 -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

Update config files with new options.

2015-09-19 22:07:13 -07:00