Serge Vakulenko fcad15f7e6 Generic config file updated.

2015-09-04 12:33:14 -07:00

..

include

Kconfig: rename machine to architecture, ident to board.

2015-09-03 12:51:56 -07:00

kernel

Create kernel configuration for Picadillo board.

2015-09-03 18:10:05 -07:00

pic32

Generic config file updated.

2015-09-04 12:33:14 -07:00