Fix error in initialize script and dedicate config for .config file

write-config now checking for inconsistency in config

Fix root Makefile

Add write_config to root Makefile

Remove usage of .config fragment file

write_config implemented solution reader, but most of code in write.c is now commented

Fix problem with overwriting last element with zeros

Change comment in shared/macros.h

Fix python scripts to work with parse_kconfig

write_solution to not search for NONAMEGEN

Add write_config .gitignore

Add first implementation of write_config

write_config is application for default .config generation.
It will be using default API from kconfig to generate it.

Now implemented only symbol map loading.

parse_kconfig change default size of array

This is only cosmetic.

parse_kconfig symlist.h move includes to begining of file

parse_kconfig fix some warnings

Add TODO information to code that there should be faster implementation

Add makefile for new application write_config

This makefile is copy of parse_kconfig makefile, only target name changed.

Extract file name definitions out from parse_kconfig to shared

parse_kconfig change error message to more informative

Add *.o to .gitignore

parse_kconfig: complete simple argument parser and formate parse.c

parse_kconfig clean include in parse.c

Fix parse_kconfig .gitignore and makefile

parse_kconfig make builds *.o files

Until now *.o files were not created.

Fix shared/kconfig/files.mk

Dependencies were not solved right. After first execution, they were removed and never built again.

macros.h moved to shared folder

parse_kconfig output executable name changed from parser to parse

Kconfig_parser renamed to parse_kconfig

Move gitignore rules to corresponds to kconfig sources move

Add information about commit to shared kconfig

Used newer commit than were files actually exported, but no change in those files.

Linux submodule update

Part of Kconfig used in kconfig_parser exported to shared directory and updated to linux v4.0-rc5

Fix error printf

Simplify kconfig_parser Makefile

Add novaboot submodule

Add linux submodule

Remove submodule linux

Remove generated files

I am not sure when those files show in index. But they should be ignored.
From now on they are.

Add check for existence of .config

reset.py remove

Python implementation of reset remove. This is doing now makefile.
This script wasn't working/finished anyway.

Implemented global Makefile

This global makefile can execute main_loop as also clean whole project.

Remove residue of old required implementation

Repair wrong phasing

Only comma was missing.

Remove old import from main_loop

Added known problems

This file is there only temporally for storing known problems that are not fatal.
Those problems should be resolved.

Loop phases change

Phases are now refersed as numbers in code.

kconfig_parser moved from programs to scripts

This way all executable code is inside scripts directory.

Add .config check

config is not yet part of main_loop

From now it seems that config is changing a lot of configs to diferent setting.
Is it because of missing dependency for sat? or because of configuration restart.
Shouldn't we be also exporting all non bool/tri state configs?

Setup oldconfig to yes to all

In generated .config file are missing all non bool/tri state configs (except those from defconfig).
This solution is only temporally.
This way configuration never fails.

Change definition to standard pointer arithmetic

Add source .config backup

Implement requirement generation from kernel .config

Reset functionality exported from main_loop

But not working yet

Fix NONAMEGEN generation problem

NONAMEGENs were written to .config file because they were not ignored right.

Try to repair reset functionality

Build folder is not removed.
But this is not fundamental.

remove unneeded gitignore file in programs folder

Add missing kernel_conf_output variable in conf.py

Main loop update

kconfig_parser repair error

Wrong rule output for reverse dependency when expression is reduced.

Kernel configuration is now throwing exception on failure

kconfig_parser raise debug verbose level to 3 and add id print to "working.." message

Add possibility to hide programs output

kconfig_parser: Fix rev_dep and implement verbose level output

After this fix, generated dependency should be all right.

Verbose output implementation is only temporally.
It needs better implementation.
And command line arguments should be parsed with argp.

Remove rest of old implementation from kconfig_parser

kconfig_parser rewritten and now supports revers dependency

Most of the kconfig_parser is changed.
Now dependency are not copied before transfer to CNF and CNF expression is direcly extracted from kconfíg parsed output structures.

Update Linux to 4.0-rc2

Kernel config repair and configurable make arguments

Change symbol_map file divider from space to colon

Also some other tweaks in kconfigp_parser. Mostly irrelevant.

Implementing main loop

These new scripts are part of main loop.
kernel is not finished!!

Divides kconfig_parser, sat_solution to better named modules.
Phasing and iteration is implemented for loop watching.

Python scripts added

conf.py are files for configuration, all configuration is in global
conf.py and others are just sourcing that
kconfig_parser.py is executing kconfig_parser
sat_solution.py is partly implemented, in state of this commit is not
working properly.

Ignore for python cache added to .gitignore

Output folder added to kconfig_parser

Also kconfig folder in programs/src is renamed to kconfig_parser

Linux folder moved and linux updated to v3.19-rc4

Add solution_kconfig

This script is for setting options from sat generated solution to kconfig.

Add sat_solution

Added script for minisat input build and execute.

Add kconfig_parser

kconfig_parser is placed to new folder tree. In folder "programs" will be all programs.
Files in folder programs/src/kconfig/kconfig are taken from kernel v3.18-rc3. In future, they should be updated if new changes will be added to kernel.

Initial commit