Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Replace minisat with picosat | Karel Kočí | 2015-05-05 |
| | | | | Picosat is distributed with this project. | ||
* | Add minisat config | Karel Kočí | 2015-05-05 |
| | |||
* | Add some configuration options and clean write_conf | Karel Kočí | 2015-05-04 |
| | |||
* | Fixes in scripts and add minisat_args | Karel Kočí | 2015-05-02 |
| | |||
* | Fix missing configuration | Karel Kočí | 2015-05-01 |
| | |||
* | Add possibility of running step-by-step | Karel Kočí | 2015-04-28 |
| | |||
* | Change config kernem_make_output | Karel Kočí | 2015-04-28 |
| | |||
* | Chnage conf paths from absolute to relative | Karel Kočí | 2015-04-27 |
| | |||
* | Add NBSCRIPT config | Karel Kočí | 2015-04-27 |
| | |||
* | fix problems with initram | Karel Kočí | 2015-04-27 |
| | |||
* | Add initram build | Karel Kočí | 2015-04-27 |
| | | | | Not working properly yet. | ||
* | Add buildroot default .config | Karel Kočí | 2015-04-26 |
| | | | | | | 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. | ||
* | Remove checking for existence of programs | Karel Kočí | 2015-04-26 |
| | | | | Programs should exist if scripts are executed by root Makefile. | ||
* | Add initram config | Karel Kočí | 2015-04-26 |
| | |||
* | Generate configuration for root Makefile from conf.py | Karel Kočí | 2015-04-26 |
| | |||
* | kernel configuration now calling write_conf instead of make odlconfig hack | Karel Kočí | 2015-04-19 |
| | | | | Also configuration output is now set as visible. | ||
* | Add possibility to hide kernel output | Karel Kočí | 2015-04-19 |
| | |||
* | Fix error in initialize script and dedicate config for .config file | Karel Kočí | 2015-04-19 |
| | |||
* | Fix python scripts to work with parse_kconfig | Karel Kočí | 2015-04-13 |
| | |||
* | kconfig_parser moved from programs to scripts | Karel Kočí | 2015-03-26 |
| | | | | This way all executable code is inside scripts directory. | ||
* | Setup oldconfig to yes to all | Karel Kočí | 2015-03-26 |
| | | | | | | 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. | ||
* | Add source .config backup | Karel Kočí | 2015-03-24 |
| | |||
* | Implement requirement generation from kernel .config | Karel Kočí | 2015-03-24 |
| | |||
* | Add missing kernel_conf_output variable in conf.py | Karel Kočí | 2015-03-22 |
| | |||
* | Add possibility to hide programs output | Karel Kočí | 2015-03-22 |
| | |||
* | Implementing main loop | Karel Kočí | 2015-02-03 |
| | | | | | | | | 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 | Karel Kočí | 2015-01-14 |
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. |