Talk:SeL4
Add topicLatest comment: 2 months ago by Sddarealone in topic LionsOS
| This is the talk page for discussing improvements to the SeL4 article. This is not a forum for general discussion of the subject of the article. |
Article policies
|
| Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
 | This article is rated B-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||
References
[edit]I used AI as a research assistant while writing this. I have rewritten the vast majority of what it output and had someone do a technical review to ensure accuracy. There are some references with incorrect formatting (names missing) that I will get to when I have time. Edit history can be found on the Draft:seL4 namespace while it exists. ツ indolering (talk) 03:49, 9 February 2026 (UTC)
- You do know that any LLM usage for making edits or even comments are frowned upon and prohibited in WP (see WP:NOLLM) and the changes are reverted. Many articles are put with a LLM template for improvements. Next time, start the article short with a single section below lead if you don't know enough of the subject but avoid LLM like the plague. Sddarealone (talk) 19:27, 3 May 2026 (UTC)
LionsOS
[edit]Should more development come under the LionsOS say when the OS has a public release then it becomes notable enough to be its own article. The team in UNSW is going strong with this project so they can pull it off. Sddarealone (talk) 20:59, 3 May 2026 (UTC)