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

..

max32

Kconfig updated.

2015-06-02 00:16:15 -07:00

.gitignore

Kconfig is able to parse max32 configuration script.

2015-06-01 19:14:27 -07:00

config.h

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

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

config.y

Kconfig updated.

2015-06-02 00:16:15 -07:00

kconfig.8

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

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

lang.l

Kconfig updated.

2015-06-02 00:16:15 -07:00

main.c

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

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

Makefile

Kconfig updated.

2015-06-02 00:16:15 -07:00

Makefile-bsd

Kconfig compiled clean.

2015-06-01 17:35:25 -07:00

mkheaders.c

Kconfig: fixed function declarations.

2015-06-01 19:48:56 -07:00

mkioconf.c

Kconfig updated.

2015-06-02 00:16:15 -07:00

mkmakefile.c

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

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

mkswapconf.c

GCC configuration script unified for both kconfig and configsys.

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