diff --git a/pycheribuild/projects/cross/cheribsd.py b/pycheribuild/projects/cross/cheribsd.py index d7bf777a8..e903354ef 100644 --- a/pycheribuild/projects/cross/cheribsd.py +++ b/pycheribuild/projects/cross/cheribsd.py @@ -1657,7 +1657,7 @@ def get_default_kernel_abi(self) -> KernelABI: def _get_config_variants(self, platforms: "set[ConfigPlatform]", kernel_abis: "list[KernelABI]", combine_flags: "list[str]", **filter_kwargs) -> "list[CheriBSDConfig]": - flag_values = itertools.product([True, False], repeat=len(combine_flags)) + flag_values = itertools.product([False, True], repeat=len(combine_flags)) combine_tuples = list(itertools.product(platforms, kernel_abis, flag_values)) configs = [] for platform, kernel_abi, flag_tuple in combine_tuples: @@ -1704,8 +1704,6 @@ def default_kernel_config(self, platform: "Optional[ConfigPlatform]" = None, **f if platform is None: platform = self.get_default_kernel_platform() kernel_abi = filter_kwargs.pop("kernel_abi", self.get_default_kernel_abi()) - if xtarget.is_riscv(include_purecap=True): - filter_kwargs.setdefault("fett", self.build_fett_kernels) config = CheriBSDConfigTable.get_default(xtarget, platform, kernel_abi, **filter_kwargs) return config.kernconf