3 ms·
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 ht
by cjs_ac 11mo 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 https://en.wikipedia.org/wiki/John_Lions
[1] https://en.wikipedia.org/wiki/A_Commentary_on_the_UNIX_Operating_System https://en.wikipedia.org/wiki/A_Commentary_on_the_UNIX_Opera...
- santoshalper 11mo agoIt's developed by UNSW Sydney, whose mascot is a Lion. (Specifically, "Clancy the Lion"), so I am guessing it's probably that.
- kragen 11mo agoThat's also where John Lions taught.
- skavi 11mo agoJohn Lions is not Lions OS is not is not Clancy the Lion
- _f9cu 11mo agoWhat does mascot mean
- saithound 11mo agoA 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.
- mlinksva 11mo agoIt is https://www.youtube.com/watch?v=W8Ka_8kHTj4&t=903s https://www.youtube.com/watch?v=W8Ka_8kHTj4&t=903s
- woolion 11mo agoThe 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.
- mzs 11mo agoaka the Lions book
- snvzz 11mo agoNot presumably, but explicitly. Both in documentation and presentations by seL4 they consistently make a point to mention so.