Serge Vakulenko e8e186905a Remove unused options from generic Config file.

2015-09-29 20:27:24 -07:00

..

include

Fix bug in SD driver: incorrect size of partition.

2015-09-27 23:49:30 -07:00

kernel

Rename other disk drivers which needed rdisk.

2015-09-26 23:00:13 -07:00

pic32

Remove unused options from generic Config file.

2015-09-29 20:27:24 -07:00