Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Linux folder moved and linux updated to v3.19-rc4 | Karel Kočí | 2015-01-14 | |
| | ||||
* | 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. | |||
* | Add kconfig_parser | Karel Kočí | 2014-12-14 | |
| | | | | | 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. | |||
* | Initial commit | Karel Kočí | 2014-12-14 | |