diff --git a/Services/index.html b/Services/index.html index a52f7605b..664f9f58e 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) 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: