Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | parse_kconfig: complete simple argument parser and formate parse.c | Karel Kočí | 2015-04-12 |
| | |||
* | parse_kconfig clean include in parse.c | Karel Kočí | 2015-04-12 |
| | |||
* | Fix parse_kconfig .gitignore and makefile | Karel Kočí | 2015-04-12 |
| | |||
* | parse_kconfig make builds *.o files | Karel Kočí | 2015-04-12 |
| | | | | Until now *.o files were not created. | ||
* | 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. | ||
* | Linux submodule update | Karel Kočí | 2015-04-10 |
| | |||
* | 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 |
| | |||
* | Add linux submodule | Karel Kočí | 2015-03-26 |
| | |||
* | Remove submodule linux | 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. | ||
* | Implemented global Makefile | Karel Kočí | 2015-03-26 |
| | | | | This global makefile can execute main_loop as also clean whole project. | ||
* | 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 |
| | |||
* | Added known problems | Karel Kočí | 2015-03-26 |
| | | | | | This file is there only temporally for storing known problems that are not fatal. Those problems should be resolved. | ||
* | 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. | ||
* | Change definition to standard pointer arithmetic | Karel Kočí | 2015-03-26 |
| | |||
* | 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. | ||
* | remove unneeded gitignore file in programs folder | Karel Kočí | 2015-03-22 |
| | |||
* | Add missing kernel_conf_output variable in conf.py | Karel Kočí | 2015-03-22 |
| | |||
* | Main loop update | Karel Kočí | 2015-03-22 |
| | |||
* | kconfig_parser repair error | Karel Kočí | 2015-03-22 |
| | | | | Wrong rule output for reverse dependency when expression is reduced. | ||
* | Kernel configuration is now throwing exception on failure | Karel Kočí | 2015-03-22 |
| | |||
* | kconfig_parser raise debug verbose level to 3 and add id print to ↵ | Karel Kočí | 2015-03-22 |
| | | | | "working.." message | ||
* | Add possibility to hide programs output | Karel Kočí | 2015-03-22 |
| | |||
* | kconfig_parser: Fix rev_dep and implement verbose level output | Karel Kočí | 2015-03-22 |
| | | | | | | | | 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 | Karel Kočí | 2015-03-22 |
| | |||
* | kconfig_parser rewritten and now supports revers dependency | Karel Kočí | 2015-03-22 |
| | | | | | 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 | Karel Kočí | 2015-03-22 |
| | |||
* | Kernel config repair and configurable make arguments | Karel Kočí | 2015-02-11 |
| | |||
* | Change symbol_map file divider from space to colon | Karel Kočí | 2015-02-03 |
| | | | | Also some other tweaks in kconfigp_parser. Mostly irrelevant. | ||
* | 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. |