The files in directory `manual/logos/` are trademarks of their
respective owners.

For license and usage guidelines on the seL4 trademark and logo,
including the seL4 Foundation logo, see
https://sel4.systems/Foundation/Trademark/

No further license is granted from use in this repository.
