Add PHONY targets

Change message in generated nbscript

Move buildroot configs in conf.py

Separate initialisation

Initialisation now can be executed without loop it self.

Remove automatic initram build

Not initram must be set and created manually by user.

Move buildroot submodule

Replace minisat with picosat

Picosat is distributed with this project.

Add gitignore for picosat

Add picosat version 959

Add minisat config

parse_kconfig fix problems with choice configs

Choice configs has now own boolean expression.
Also fixing problem with i variable. That causes that for some variables no cfn equations were build.

Small change in parse_kconfig Makefile

Hide warnings. I am not going to solve them now.

Fix missing addition for commit 9a1f3ff8fbff9dd418242eefa7aa69dfd38609c5

parse_kconfig change module decode value

In case of default value are modules taken as yes in case of boolean.

Add some configuration options and clean write_conf

parse_kconfig fix problem with generated rules

Generated rules were unsatisfiable all the time.
Problem was default value of vis variable.

parse_kconfig adding proper visibility dependency

For unknown reasons, output rules with generated default solution are not satisfiable.

parse_kconfig fix problems with generated rules to be UNSAT

parse_kconfig add debug output of boolexpr

Fixes in scripts and add minisat_args

parse_kconfig add missing rule

parse_kconfig fix boolexpr_not

parse_kconfig move debug output before action

Fix Dprintf macro

Fix parse_kconfig symlist_el variables type

parse_kconfig add debug outputs

Add DEBUG and Wall to parse_kconfig

Fix parse_kconfig symbol_map ids

write_config update to parse_kconfig changes

Fix missing configuration

Fix missing definition

Fit solution.apply to new changes

parse_kconfig rewriten

parse_kconfig should now generate full dependency.
It is not transforming whole expression to CNF, but only pairs.

parse_kconfig changes before more changes come

This is commit that breaks parse_kconfig program...

Add prompt variable to parse_kconfig

Add possibility of running step-by-step

Include iteration and phase code to loop

Fix solution.apply error

Change config kernem_make_output

Fix run and initram dependency

Add boot phase

Remove spare line from scripts/conf.py

Fix wrong open mode of iteration file in boot

Fix boot benchmark script

Fix missing symbol_map on test launch

Set execution file mode bit on test.py

Fix problem with test dependency

Add basic TODO

TODO in this files are future work points.

Finish implementation of test.test

Finish implementation of boot.boot

Add example testing benchmark scripts

Change boot.gen_nbscripts to support relative conf paths

Add output_confs generation to solution apply

Chnage conf paths from absolute to relative

Add NBSCRIPT config

fix problems with initram

First implementation of test.py

Not yet finished.

Firt implementation of boot.py

Not yet finished.

Add initram build

Not working properly yet.

distclean targets in root Makefile documented

Add buildroot default .config

On first execution of buildroot targets from root Makefile is now placed
nondefault .config file.
This new configuration is default configuration except of initram setting.

Add distclean targets fro root Makefile

Remove checking for existence of programs

Programs should exist if scripts are executed by root Makefile.

Add initram config

initialize script change documentation

Rename script main_loop to loop

Add target deflinux to root Makefile

Generate configuration for root Makefile from conf.py

Root makefile almost rewritten

New targets added and more...

parse_kconfig fix wrong behaviour for non prompt symbols

Non prompt symbols should be selected always as their dependencies are satisfied.
This changes adds generation of relevant rules.

parse_kconfig: fix SIGSEGV caused by uninitialized memory

parse_kconfig: fix SIGSEGV caused by wrong approach to expression negation

Rename parser.c to parse.c

Remove configdiff

This script is not needed any more.
Same (and better) behaviour is now implemented in write_config.

kernel configuration now calling write_conf instead of make odlconfig hack

Also configuration output is now set as visible.

initialize.py use utils get_kernel_env for parse_kconfig()

Add possibility to hide kernel output

Add testing start script for benchmarks

For now only prints Test

Configure write_config to compare and not set value

write_config writing loaded configuration

Linux update to v4.0

Force MODULES no

We are not supporting modules. Initial configuration with enable modules causes errors.

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