diff --git a/seL4-platforms/platforms.py b/seL4-platforms/platforms.py
index fccab798..31a231d8 100644
--- a/seL4-platforms/platforms.py
+++ b/seL4-platforms/platforms.py
@@ -160,9 +160,6 @@ def toolchain_arch_str(self) -> str:
     def cmake_toolchain_setting(self, mode: int) -> str:
         return self.toolchain_arch_str() + str(mode)
 
-    def settings(self) -> str:
-        return self.settings
-
     def get_image_platform(self, mode: int) -> str:
         return self.image_platform or self.get_platform(mode)