doc: clarify "arm11" usage despite ARMv6 removal

Signed-off-by: Axel Heider <[email protected]>

python-capdl-tool/capdl/util.py

@@ -239,8 +239,12 @@ def ipc_buffer_size(self):
         return 512
 
 
+# Support for ARMv6 has been removed from seL4 in early 2022. However, support
+# for "arm11" is kept here, because this name is used in the CapDL specification
+# for AARCH32 configurations. Updating this is a low priority task, because is
+# is a lot of work with not much gain (except cleaning up legacy) and keeping
+# the name there isn't causing any issues.
 CAPDL_SUPPORTED_ARCHITECTURES = {
-    # <name>:  [arch_obj_ctor, <alias_list>]
     'aarch32': [lambda: ARM32Arch(),         ['arm', 'arm11']],
     'arm_hyp': [lambda: ARM32Arch(hyp=True), []],
     'aarch64': [lambda: AARCH64Arch(),       []],