Serge Vakulenko 9f05f511a6 Fixed issues with multiple kernel builds.

2015-09-04 18:55:56 -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

Fixed issues with multiple kernel builds.

2015-09-04 18:55:56 -07:00