Serge Vakulenko 592e2014fb Kconfig: remove unused options config-dependent, device-driver and profiling-routine. ...

Kernel makefile updated.

2015-09-02 18:19:30 -07:00

..

include

Fix include paths in the kernel sources.

2015-08-31 00:21:41 -07:00

kernel

GCC configuration script unified for both kconfig and configsys.

2015-09-01 19:46:57 -07:00

pic32

Kconfig: remove unused options config-dependent, device-driver and profiling-routine.

2015-09-02 18:19:30 -07:00