- 20 Sep, 2016 2 commits
-
-
Adam Wujek authored
remove rules like: --allmodconfig --kvmconfig --xenconfig --tinyconfig change directory with configs Signed-off-by:
Adam Wujek <adam.wujek@cern.ch>
-
Adam Wujek authored
Now it is also possible to use for dot-config configuration: make nconfig make xconfig make gconfig make menuconfig kconfig is taken from the linux kernel repo commit v4.8-rc1-19-g81abf25: e50bd235 Merge tag 'lkdtm-v4.8-rc1' of git://git.kernel.org/pub/scm/linux/kernel/git/kees/linuxSigned-off-by:
Adam Wujek <adam.wujek@cern.ch>
-
- 29 Feb, 2016 1 commit
-
-
Davide Ciminaghi authored
Signed-off-by:
Davide Ciminaghi <ciminaghi@gnudd.com>
-
- 26 Mar, 2014 1 commit
-
-
Pietro Fezzardi authored
KERNELVERSION variable from Linux was still used. It was not initialized so the displayed version in the headers of make gconfig and make menuconfig was missingor wrong. It just said (null) or KERNELVERSION. KERNELVERSION has been changed to VERSION all over the kconfig scripts. Makefile.kconfig exports this variable so it can be used by config scripts with getenv(). Now it prints the ppsi version with the present commit, like diplayed from git describe --always --dirty
-
- 15 Nov, 2013 1 commit
-
-
Alessandro Rubini authored
This is the combination of the following commits (oldest on top) from wrpc-sw: 89cdfcd added kconfig infrastructure, the trivial way 5fda0c8 kconfig: use pathnames from Linux-2.6.34 ab30804 kconfig: use 'Kconfig' as file name, not the bst-kconfig ones 7c78880 kconfig: trivially write "WRPC" in place of "Linux Kernel" 2c30cb4 kconfig: trivially fix most 'kernel' words in messages 70eb3ba kconfig: add a configs/ directory and use it 64cc10f scripts/kconfig: don't complain for default in choices After picking them, I replaced all "WRPC" with "PPSi", and I removed the configs/ files (unrelated to this project). In practice, at this point we have the Kconfig infrastructure of Linux-2.6.34, which I picked from the "bst-kconfig" package, which did the extraction work. One day I forward-ported this from v2.6.34 to v3.4, by applying a few hundred kernel patches. While the final code was working, we decided the port was not needed for wrpc-sw. Here in PPSi I keep the same version we have in wrpc-sw. As of this commit, the code is not used; the default configuration file and Makefile targets are added in the next commits. Signed-off-by:
Alessandro Rubini <rubini@gnudd.com>
-