|  | Commit message (Collapse) | Author | Age | 
|---|
| ... |  | 
| | |  | 
| | 
| 
| 
| | Also kconfig folder in programs/src is renamed to kconfig_parser | 
| | |  | 
| | 
| 
| 
| | This script is for setting options from sat generated solution to kconfig. | 
| | 
| 
| 
| | Added script for minisat input build and execute. | 
| | 
| 
| 
| 
| | 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. | 
|  |  |