platforms: remove named machines

Removing dead code. The GitHub CI setup turns out not to need these.

Signed-off-by: Gerwin Klein <[email protected]>

seL4-platforms/platforms.py

@@ -23,7 +23,7 @@
 # exported names:
 __all__ = [
     "Platform", "ValidationException", "load_yaml",
-    "all_architectures", "all_modes", "platforms", "unsupported", "machines"
+    "all_architectures", "all_modes", "platforms", "unsupported"
 ]
 
 
@@ -212,8 +212,6 @@ def load_yaml(file_name):
     if not platforms.get(p):
         print(f"Warning: unknown platform '{p}' in mcs_unsupported list")
 
-machines = _yaml_platforms["machines"]
-
 # if called as main, dump info:
 if __name__ == '__main__':
     print("\n# Architectures:")
@@ -228,9 +226,6 @@ def load_yaml(file_name):
     print("\n# Unsupported:")
     pprint(mcs_unsupported)
 
-    print("\n# Machines:")
-    pprint(machines)
-
     def sup(p: Platform) -> str:
         return p.name + (" (unsupported)" if p.name in mcs_unsupported else "")
 

seL4-platforms/platforms.yml

@@ -314,13 +314,3 @@ mcs_unsupported_platforms:
 - MAAXBOARD # To be tested, for now this just copies the setting of IMX8MQ_EVK.
 - ROCKPRO64
 - ODROID_XU4
-
-# named machines
-# list of { req: platform } (re-using req as name)
-machines:
-- haswell1: PC99
-- haswell2: PC99
-- haswell3: PC99
-- haswell4: PC99
-- skylake: PC99
-- sandy: PC99