Serge Vakulenko d7e7ae368d Delete unused file.

2015-09-04 21:26:21 -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

Delete unused file.

2015-09-04 21:26:21 -07:00