Presumably named after Associate Professor John Lions[0], of A Commentary on the UNIX Operating System[1] fame.

[0] https://en.wikipedia.org/wiki/John_Lions

[1] https://en.wikipedia.org/wiki/A_Commentary_on_the_UNIX_Opera...

The mascot it super cute lion too. How can a project do everything so right? I was browsing some popular python libraries and they just slapped on the first image they got out of ChatGPT. It's nice to see care in the craft.

▲

mlinksva 7 hours ago | parent | prev | next [-]

It is https://www.youtube.com/watch?v=W8Ka_8kHTj4&t=903s

▲

santoshalper 7 hours ago | parent | prev | next [-]

It's developed by UNSW Sydney, whose mascot is a Lion. (Specifically, "Clancy the Lion"), so I am guessing it's probably that.

	▲	kragen 4 hours ago \| parent [-]
		That's also where John Lions taught.

▲

snvzz 4 hours ago | parent | prev | next [-]

Not presumably, but explicitly. Both in documentation and presentations by seL4 they consistently make a point to mention so.

▲

mzs 5 hours ago | parent | prev [-]

aka the Lions book