secc
/
seL4-docs
mirror of https://github.com/seL4/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Rename Data61 to UNSw

This commit is contained in:
Oliver Scott 2021-10-01 14:53:04 +10:00 committed by Gerwin Klein
parent 1934653b6b
commit f22c913111
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
SuggestedProjects.md
View File

@ -105,7 +105,7 @@ internally:
## Stuff we're working on
Development of major new kernel features will continue to happen primarily at
the Trustworthy Systems group at Data61 for the foreseeable future, as this
the Trustworthy Systems group at UNSW for the foreseeable future, as this
not only requires a good understanding of the kernel design and
implementation, but also a good understanding of what is feasible to verify.
Several of these internal projects are reasonably mature and will be