Skip to content

update services page #645

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
bbrcknl wants to merge 3 commits into
base: master
Choose a base branch
from
Draft

update services page #645

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
9e9ee32
update services page
bbrcknl Nov 10, 2026
fec0c7e
Update Services/index.html
bbrcknl Nov 12, 2026
07b30a1
Merge branch 'master' into update-services-page
bbrcknl Nov 12, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 1 addition & 7 deletions Services/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -159,13 +159,7 @@
h2="UNSW Sydney"
text='
<p>
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 <em>provider of last resort</em> for consultancy and engineering services, when no commercial player is available.
</p>
<p class="mt-8">
Trustworthy Systems is an Endorsed Service provider for:
Expand Down
Loading