cheribsd: Remove non-existent -NOCAPREVOKE kernels from factories

CTSRD-CHERI · Nov 30, 2023 · 3eacf9d · 3eacf9d
1 parent 0baf243
commit 3eacf9d
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/pycheribuild/projects/cross/cheribsd.py b/pycheribuild/projects/cross/cheribsd.py
@@ -240,7 +240,6 @@ def make_all(self) -> "list[CheriBSDConfig]":
                 self.make_config({ConfigPlatform.QEMU}, kernel_abi, nocaprevoke=True, benchmark=True, mfsroot=True,
                                  default=True))
             configs.append(self.make_config({ConfigPlatform.GFE}, kernel_abi, nocaprevoke=True, mfsroot=True))
-            configs.append(self.make_config({ConfigPlatform.AWS}, kernel_abi, fett=True, nocaprevoke=True))
 
         return configs
 
@@ -277,8 +276,6 @@ def make_all(self) -> "list[CheriBSDConfig]":
                                             nocaprevoke=True))
             configs.append(self.make_config({ConfigPlatform.QEMU, ConfigPlatform.FVP}, kernel_abi, default=True,
                                             nocaprevoke=True, benchmark=True))
-            configs.append(self.make_config({ConfigPlatform.QEMU, ConfigPlatform.FVP}, kernel_abi, default=True,
-                                            nocaprevoke=True, mfsroot=True))
 
         return configs