From 9e9ee329bdea9863b86995622ea4e394951092f6 Mon Sep 17 00:00:00 2001 From: "b@brck.nl" Date: Wed, 11 Nov 2026 09:41:47 +1100 Subject: [PATCH 1/2] update services page update TS services overview Signed-off-by: b@brck.nl --- Services/index.html | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/Services/index.html b/Services/index.html index a52f7605b..395785be1 100644 --- a/Services/index.html +++ b/Services/index.html @@ -159,13 +159,7 @@ h2="UNSW Sydney" text='

- The Trustworthy Systems (TS) team is the creator of seL4 and the seL4 - Foundation, and for a long time was the sole source of support. With the - seL4 Foundation now in place, and at its new home at UNSW, TS is now - focusing on seL4-related research and driving development, leaving - engineering mostly to other ecosystem players. However, TS is happy to take - on research and consultancy contracts, as well as providing engineering - (systems and verification) services when no commercial player is available. + The Trustworthy Systems (TS) team is the creator of seL4 and the seL4 Foundation. TS is focussed on seL4-related research and on driving development and real-world uptake. It has unique capabilities in the design, architecture and verification of seL4-based systems and is happy to use these to support ecosystem partners, with a strong preference for open-source work that benefits the whole community. TS aims to complement rather than compete with commercial ecosystem partners, and therefore considers itself as a provider of last resort for consultancy and engineering services, when no commercial player is available.

Trustworthy Systems is an Endorsed Service provider for: From fec0c7e88a74b4f5afab610acbab8e5f6d83144b Mon Sep 17 00:00:00 2001 From: bbrcknl <32238793+bbrcknl@users.noreply.github.com> Date: Fri, 13 Nov 2026 07:29:31 +1100 Subject: [PATCH 2/2] Update Services/index.html Co-authored-by: June Andronick Signed-off-by: bbrcknl <32238793+bbrcknl@users.noreply.github.com> --- Services/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Services/index.html b/Services/index.html index 395785be1..664f9f58e 100644 --- a/Services/index.html +++ b/Services/index.html @@ -159,7 +159,7 @@ h2="UNSW Sydney" text='

- The Trustworthy Systems (TS) team is the creator of seL4 and the seL4 Foundation. TS is focussed on seL4-related research and on driving development and real-world uptake. It has unique capabilities in the design, architecture and verification of seL4-based systems and is happy to use these to support ecosystem partners, with a strong preference for open-source work that benefits the whole community. TS aims to complement rather than compete with commercial ecosystem partners, and therefore considers itself as a provider of last resort for consultancy and engineering services, when no commercial player is available. + The Trustworthy Systems (TS) group is a direct successor of the team that originally created and verified seL4, and one of the founding members of the seL4 Foundation. TS is focussed on seL4-related research and on driving development and real-world uptake. It has unique capabilities in the design, architecture and verification of seL4-based systems and is happy to use these to support ecosystem partners, with a strong preference for open-source work that benefits the whole community. TS aims to complement rather than compete with commercial ecosystem partners, and therefore considers itself as a provider of last resort for consultancy and engineering services, when no commercial player is available.

Trustworthy Systems is an Endorsed Service provider for: