Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix shared/kconfig/files.mk | Karel Kočí | 2015-04-11 |
| | | | | Dependencies were not solved right. After first execution, they were removed and never built again. | ||
* | macros.h moved to shared folder | Karel Kočí | 2015-04-11 |
| | |||
* | parse_kconfig output executable name changed from parser to parse | Karel Kočí | 2015-04-11 |
| | |||
* | Kconfig_parser renamed to parse_kconfig | Karel Kočí | 2015-04-11 |
| | |||
* | Move gitignore rules to corresponds to kconfig sources move | Karel Kočí | 2015-04-11 |
| | |||
* | Add information about commit to shared kconfig | Karel Kočí | 2015-04-10 |
| | | | | Used newer commit than were files actually exported, but no change in those files. | ||
* | Part of Kconfig used in kconfig_parser exported to shared directory and ↵ | Karel Kočí | 2015-04-10 |
| | | | | updated to linux v4.0-rc5 | ||
* | Fix error printf | Karel Kočí | 2015-04-10 |
| | |||
* | Simplify kconfig_parser Makefile | Karel Kočí | 2015-04-10 |
| | |||
* | Add novaboot submodule | Karel Kočí | 2015-03-26 |
| | |||
* | Remove generated files | Karel Kočí | 2015-03-26 |
| | | | | | 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 | Karel Kočí | 2015-03-26 |
| | |||
* | reset.py remove | Karel Kočí | 2015-03-26 |
| | | | | | Python implementation of reset remove. This is doing now makefile. This script wasn't working/finished anyway. | ||
* | Remove residue of old required implementation | Karel Kočí | 2015-03-26 |
| | |||
* | Repair wrong phasing | Karel Kočí | 2015-03-26 |
| | | | | Only comma was missing. | ||
* | Remove old import from main_loop | Karel Kočí | 2015-03-26 |
| | |||
* | Loop phases change | Karel Kočí | 2015-03-26 |
| | | | | Phases are now refersed as numbers in code. | ||
* | kconfig_parser moved from programs to scripts | Karel Kočí | 2015-03-26 |
| | | | | This way all executable code is inside scripts directory. | ||
* | Add .config check | Karel Kočí | 2015-03-26 |
| | | | | | | | | 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 | 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 |
| | |||
* | Reset functionality exported from main_loop | Karel Kočí | 2015-03-23 |
| | | | | But not working yet | ||
* | Fix NONAMEGEN generation problem | Karel Kočí | 2015-03-23 |
| | | | | NONAMEGENs were written to .config file because they were not ignored right. | ||
* | Try to repair reset functionality | Karel Kočí | 2015-03-22 |
| | | | | | Build folder is not removed. But this is not fundamental. | ||
* | Main loop update | Karel Kočí | 2015-03-22 |
| | |||
* | Kernel configuration is now throwing exception on failure | Karel Kočí | 2015-03-22 |
| | |||
* | Add possibility to hide programs output | Karel Kočí | 2015-03-22 |
| | |||
* | Kernel config repair and configurable make arguments | Karel Kočí | 2015-02-11 |
| | |||
* | 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. | ||
* | Add solution_kconfig | Karel Kočí | 2014-12-16 |
| | | | | This script is for setting options from sat generated solution to kconfig. | ||
* | Add sat_solution | Karel Kočí | 2014-12-16 |
Added script for minisat input build and execute. |