mirror of https://github.com/seL4/docs.git
trivial: fix typo
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
parent
d66da26e94
commit
a74bc9bc51
|
@ -135,7 +135,7 @@ starting from scratch on a new platform port.
|
|||
| - | - | - | - | - | - | - | - | - |
|
||||
{%- assign sorted = site.pages | sort: 'platform'%}
|
||||
{% for page in sorted %}
|
||||
{%- if page.arm_hardware and page.Maintained == "No"" -%}
|
||||
{%- if page.arm_hardware and page.Maintained == "No" -%}
|
||||
| <span style="color:grey">[{{ page.platform }}]({{page.url}})</span> (**unmaintained**) | <span style="color:grey">{{ page.soc}}</span> | <span style="color:grey">{{ page.cpu }}</span> | <span style="color:grey">{{ page.arch }}</span> | <span style="color:grey">{{ page.virtualization }}</span> | <span style="color:grey">{{ page.iommu}}</span> | <span style="color:grey">{{ page.Status }}</span> | <span style="color:grey">{{ page.Contrib }}</span> |
|
||||
{% endif %}
|
||||
{%- endfor %}
|
||||
|
|
Loading…
Reference in New Issue