1The files in directory `manual/logos/` are trademarks of their
2respective owners.
3
4For license and usage guidelines on the seL4 trademark and logo,
5including the seL4 Foundation logo, see
6https://sel4.systems/Foundation/Trademark/
7
8No further license is granted from use in this repository.
9