Searched defs:Kconfig (Results 1 – 2 of 2) sorted by relevance
672 .. [0] http://www.eng.uwaterloo.ca/~shshe/kconfig_semantics.pdf673 .. [1] http://gsd.uwaterloo.ca/sites/default/files/vm-2013-berger.pdf674 .. [2] http://gsd.uwaterloo.ca/sites/default/files/ase241-berger_0.pdf675 .. [3] http://gsd.uwaterloo.ca/sites/default/files/icse2011.pdf696 .. [4] http://www.cs.cornell.edu/~sabhar/chapters/SATSolvers-KR-Handbook.pdf697 .. [5] http://gsd.uwaterloo.ca/sites/default/files/vm-2013-berger.pdf698 .. [6] https://cados.cs.fau.de699 .. [7] https://vamos.cs.fau.de700 .. [8] https://undertaker.cs.fau.de701 .. [9] https://www4.cs.fau.de/Publications/2011/tartler_11_eurosys.pdf
10 Kconfig := $(KBUILD_KCONFIG) macro12 Kconfig := Kconfig macro
