Separation kernel: Revision history

5 January 2025

• curprev 00:0500:05, 5 January 2025 Rofraja talk contribs 7,194 bytes −39 No bare URLs. Remove Cleanup bare URLs template undo

4 January 2025

• curprev 22:5322:53, 4 January 2025 Rofraja talk contribs m 7,233 bytes +361 Replaced 3 bare URLs by {{Cite web}}; Replaced "Archived copy" by actual titles undo

6 December 2024

• curprev 12:4912:49, 6 December 2024 InternetArchiveBot talk contribs 6,872 bytes +232 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5) (Pancho507 - 22019 undo

11 October 2024

• curprev 12:5112:51, 11 October 2024 37.234.105.53 talk 6,640 bytes −2 No edit summary undo

15 August 2022

• curprev 14:3114:31, 15 August 2022 BrownHairedGirl talk contribs 6,642 bytes +39 Add banner {{Cleanup bare URLs}}. After at least 7 passes by @Citation bot since 20220802 + more before then, this article still has 2 untagged bare URL refs and 2 inline-tagged undo Tag: AWB

28 April 2022

• curprev 12:1112:11, 28 April 2022 VulcanSphere talk contribs 6,603 bytes +46 Adding short description: "Type of computer kernel" (Shortdesc helper) undo

13 March 2022

• curprev 21:2821:28, 13 March 2022 BrownHairedGirl talk contribs 6,557 bytes +66 tag with {{Bare URL PDF}} undo Tag: AWB

22 November 2021

• curprev 19:4619:46, 22 November 2021 Citation bot talk contribs 6,491 bytes +93 Add: date, website, title. Changed bare reference to CS1/2. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | Linked from User:BrownHairedGirl/Articles_with_bare_links | #UCB_webform_linked 1872/2185 undo

22 October 2021

• curprev 13:4713:47, 22 October 2021 Orenburg1 talk contribs m 6,398 bytes +1 sp undo

9 August 2021

• curprev 08:5608:56, 9 August 2021 SPJ83 talk contribs m 6,397 bytes +117 Made a bullet point list out of mentioned SK solutions with own section headline. undo

25 May 2021

• curprev 00:3000:30, 25 May 2021 Le Deluge talk contribs 6,280 bytes −100 Don't add categories that don't exist, per WP:REDNOT undo

24 May 2021

• curprev 14:5314:53, 24 May 2021 IVonish talk contribs m 6,380 bytes +84 Caps and periods on the bullet points / Spacing for paragraph / Replaced some words with synonyms and rearrangement of said sentence structure to adher to replaced synonyms. undo Tag: Visual edit

5 June 2020

• curprev 06:1506:15, 5 June 2020 FrescoBot talk contribs m 6,296 bytes −27 Bot: link syntax undo

14 May 2020

• curprev 20:4920:49, 14 May 2020 2605:6000:1521:4c44:f133:bcdf:61ef:b336 talk 6,323 bytes −41 No edit summary undo
• curprev 20:4820:48, 14 May 2020 2605:6000:1521:4c44:f133:bcdf:61ef:b336 talk 6,364 bytes +141 No edit summary undo

17 November 2018

• curprev 13:4313:43, 17 November 2018 Justinc talk contribs 6,223 bytes +145 ref Muen undo

11 May 2018

• curprev 07:0807:08, 11 May 2018 106.215.32.66 talk 6,078 bytes +22 template undo
• curprev 07:0407:04, 11 May 2018 106.215.32.66 talk 6,056 bytes +35 cat undo

8 August 2016

• curprev 21:0321:03, 8 August 2016 64.71.25.226 talk 6,021 bytes +78 →See also undo

21 December 2015

• curprev 05:2605:26, 21 December 2015 Yobot talk contribs m 5,943 bytes 0 WP:CHECKWIKI error fixes using AWB (11757) undo

20 December 2015

• curprev 22:0922:09, 20 December 2015 71.181.31.80 talk 5,943 bytes +374 Add information about seL4. undo
• curprev 21:4721:47, 20 December 2015 71.181.31.80 talk 5,569 bytes +10 Update link to INTEGRITY-178B certification undo
• curprev 21:4621:46, 20 December 2015 71.181.31.80 talk 5,559 bytes +474 Add information about the sunset of the SKPP. undo

9 October 2015

• curprev 07:0207:02, 9 October 2015 91.118.92.18 talk 5,085 bytes +4 link mixed criticality using Find link undo

12 November 2014

• curprev 22:2622:26, 12 November 2014 Delirium talk contribs m 5,081 bytes −10 No edit summary undo

21 October 2013

• curprev 15:3415:34, 21 October 2013 Nameless23 talk contribs m 5,091 bytes +112 +Wikilinks undo

23 July 2013

• curprev 15:4915:49, 23 July 2013 Magioladitis talk contribs m 4,979 bytes −3 →References: Remove unicode control characters (CHECKWIKI error 16) using AWB (9369) undo

10 June 2013

• curprev 11:2211:22, 10 June 2013 Mdjango talk contribs 4,982 bytes +139 + MILS link. undo

26 May 2013

• curprev 10:3410:34, 26 May 2013 Dekart talk contribs 4,843 bytes 0 removed Category:Operating system technology; added Category:Operating system kernels‎ using HotCat undo

11 December 2012

• curprev 13:0013:00, 11 December 2012 Yobot talk contribs m 4,843 bytes 0 clean up, References after punctuation per WP:REFPUNC and WP:CITEFOOT using AWB (8792) undo

29 July 2011

• curprev 20:3220:32, 29 July 2011 Skyerise talk contribs 4,843 bytes −4 rm spaces b4 ref tags undo
• curprev 20:3220:32, 29 July 2011 Skyerise talk contribs m 4,847 bytes −34 No edit summary undo

26 May 2011

• curprev 00:0100:01, 26 May 2011 12.130.124.25 talk 4,881 bytes −25 No edit summary undo

23 March 2011

• curprev 19:3619:36, 23 March 2011 Frap talk contribs 4,906 bytes +46 No edit summary undo

12 November 2010

• curprev 19:3519:35, 12 November 2010 Rjwilmsi talk contribs m 4,860 bytes −14 Dupe ref fixes (explanation), NSA using AWB (7383) undo

2 January 2010

• curprev 03:3403:34, 2 January 2010 Weditor talk contribs 4,874 bytes +132 No edit summary undo

29 October 2009

• curprev 14:1214:12, 29 October 2009 Linearcombo talk contribs 4,742 bytes +42 No edit summary undo

21 July 2009

• curprev 04:2104:21, 21 July 2009 69.29.194.27 talk 4,700 bytes −1 No edit summary undo

15 April 2009

• curprev 17:0617:06, 15 April 2009 199.80.176.83 talk 4,701 bytes −1 No edit summary undo

16 January 2009

• curprev 22:2822:28, 16 January 2009 63.102.70.70 talk 4,702 bytes +201 add historical note regarding certification to the SKPP undo

20 August 2008

• curprev 14:4514:45, 20 August 2008 Samquinn talk contribs m 4,501 bytes +29 added links undo

9 July 2008

• curprev 00:1300:13, 9 July 2008 Alksentrs talk contribs m 4,472 bytes +26 Disambiguation link repair - you can help! undo

12 November 2007

• curprev 17:1217:12, 12 November 2007 Cerebellum talk contribs 4,446 bytes −40 No edit summary undo

31 October 2007

• curprev 15:5815:58, 31 October 2007 Fabrictramp talk contribs 4,486 bytes +117 Dead-end pages clean up project; you can help! using AWB undo

26 September 2007

• curprev 12:2012:20, 26 September 2007 67.105.229.98 talk 4,369 bytes +41 Categorize. undo

10 September 2007

• curprev 02:4002:40, 10 September 2007 Alaibot talk contribs m 4,328 bytes +38 Robot: tagging uncategorised page undo

20 August 2007

• curprev 21:2421:24, 20 August 2007 RanceDeLong talk contribs 4,290 bytes +4,290 ←Created page with 'A separation kernel is "a type of security kernel" used to simulate a distributed environment. The concept was introduced by John Rushby in a 1981 paper [1]. Rushb...'