Serge Vakulenko 4ca4a58468 For SD card, use parameters generated by kernel config utility.

2015-09-19 21:58:45 -07:00

..

.gitignore

New bare metal kernel configuration.

2015-09-07 15:30:41 -07:00

Config

For SD card, use parameters generated by kernel config utility.

2015-09-19 21:58:45 -07:00

devcfg.c

New configurations for Fubarino board.

2015-09-03 19:17:07 -07:00

Makefile

For SD card, use parameters generated by kernel config utility.

2015-09-19 21:58:45 -07:00

script.ld

Switch to kconfig completely.

2015-09-07 22:22:35 -07:00