We are excited to announce the launch of the new seL4 docsite [0]! This redesigned documentation site for the main seL4-related technologies provides a new structure and layout, improved navigation and easier access to information.
The docsite content will continue to evolve with updates and maintenance, and we welcome contributions from the community on documentation, tutorials and manuals. We thank NCSC [1] for their funding of this project, which follows their support of the development of the new seL4 website [2]. We welcome your feedback and we hope you enjoy the new site! [0] https://docs.sel4.systems/ [1] https://www.ncsc.gov.uk/ [2] https://sel4.systems/ Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 [email protected] <mailto:[email protected]> [email protected] <mailto:[email protected]> _______________________________________________ Announce mailing list -- [email protected] To unsubscribe send an email to [email protected]
