Searched defs:Kconfig (Results 1 – 4 of 4) sorted by relevance
741 .. [0] https://www.eng.uwaterloo.ca/~shshe/kconfig_semantics.pdf742 .. [1] https://gsd.uwaterloo.ca/sites/default/files/vm-2013-berger.pdf743 .. [2] https://gsd.uwaterloo.ca/sites/default/files/ase241-berger_0.pdf744 .. [3] https://gsd.uwaterloo.ca/sites/default/files/icse2011.pdf765 .. [4] https://www.cs.cornell.edu/~sabhar/chapters/SATSolvers-KR-Handbook.pdf766 .. [5] https://gsd.uwaterloo.ca/sites/default/files/vm-2013-berger.pdf767 .. [6] https://cados.cs.fau.de768 .. [7] https://vamos.cs.fau.de769 .. [8] https://undertaker.cs.fau.de770 .. [9] https://www4.cs.fau.de/Publications/2011/tartler_11_eurosys.pdf[all …]
31 class Kconfig: class52 def is_subset_of(self, other: 'Kconfig') -> bool:63 def conflicting_options(self, other: 'Kconfig') -> List[Tuple[KconfigEntry, KconfigEntry]]:72 def merge_in_entries(self, other: 'Kconfig') -> None:
57 def make_arch_config(self, base_kunitconfig: kunit_config.Kconfig) -> kunit_config.Kconfig:112 def make_arch_config(self, base_kunitconfig: kunit_config.Kconfig) -> kunit_config.Kconfig:141 def make_arch_config(self, base_kunitconfig: kunit_config.Kconfig) -> kunit_config.Kconfig:
7 Kconfig := $(KBUILD_KCONFIG) macro9 Kconfig := Kconfig macro