Comment by cjs_ac

20 hours ago

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...

9 comments

cjs_ac

Reply
woolion  17 hours ago

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.

santoshalper  19 hours ago

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

  • imvetri  11 hours ago

    What does mascot mean

    • saithound  10 hours ago

      A mascot is an animal figure that represents a product or sports team. For example, the penguin named Tux is the mascot of Linux, and the mascot for the Brisbane Broncos rugby team is the horse named Buck the Bronco.

      Mascot is, unrelatedly, also a suburb of Sydney.

snvzz  16 hours ago

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