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