Edithistory:Open Kernel Labs
From EverybodyWiki Bios & Wiki
| oldid | date/time | username | edit summary |
|---|---|---|---|
| 1344269310 | 2026-03-19T11:05:10Z | ~2026-17232-31 | Proposing article for deletion per [[WP:PROD]]. |
| 1272782172 | 2025-01-30T05:21:16Z | GreenC bot | Rescued 2 archive links; reformat 1 link. [[User:GreenC/WaybackMedic_2.5|Wayback Medic 2.5]] per [[:Category:All articles with dead external links]] - pass 6 |
| 1177918256 | 2023-09-30T13:08:35Z | AnomieBOT | Dating maintenance tags: {{Dead link}} |
| 1177916185 | 2023-09-30T12:47:33Z | AManWithNoPlan | flag dead link |
| 1146636553 | 2023-03-26T02:26:49Z | InternetArchiveBot | Rescuing 0 sources and tagging 1 as dead.) #IABot (v2.0.9.3) ([[User:Whoop whoop pull up|Whoop whoop pull up]] - 12943 |
| 1099410125 | 2022-07-20T16:37:46Z | Jae | Let's have tenses agree with each other; also, since ok-labs.com is dead, it's safe to assume the company is an ex-company, so it '''was''' headquartered in Chicago. |
| 1088365644 | 2022-05-17T16:09:32Z | 187.161.145.78 | if the company closed it can't continue development |
| 1085098807 | 2022-04-28T11:45:46Z | VulcanSphere | Changing [[Wikipedia:Short description|short description]] from "Australian software company" to "American software company" ([[Wikipedia:Shortdesc helper|Shortdesc helper]]) |
| 1085098764 | 2022-04-28T11:45:26Z | VulcanSphere | Adding [[Wikipedia:Short description|short description]]: "Australian software company" ([[Wikipedia:Shortdesc helper|Shortdesc helper]]) |
| 1071875534 | 2022-02-14T20:15:35Z | Conan | Bot: Removing category [[:Category:Embedded systems]] which is already in [[:Category:Information appliances]] |
| 1029494421 | 2021-06-20T09:38:40Z | Jerryobject | [[WP:LINK]]s: plural > [[WP:SINGULAR]]. |
| 1029493724 | 2021-06-20T09:32:44Z | Jerryobject | /* See also */ [[WP:LINK]] update. |
| 999909285 | 2021-01-12T15:38:05Z | HardeesCharred | wikilink |
| 988966764 | 2020-11-16T08:23:06Z | Jerryobject | Cut needless [[carriage return]]s in: section, sentence. |
| 988965903 | 2020-11-16T08:12:57Z | Jerryobject | [[Template:Infobox company]], [[WP:REF]]erence [[WP:CIT]]ations > parameters: updates, adds, fills, reorders, conform to master. [[WP:LINK]]s: updates, fix-cut needless [[WP:PIPE]]s ([[WP:NOPIPE]]s). Small [[WP:EoS]] [[WP:TERSE]] [[WP:COPYEDIT]]s: cut needless word repeats. [[MOS:FIRSTABBR]]eviations define before [[WP:ABBR]]s in parentheses. Non[[acronym]] non[[proper noun]] [[WP:ALLCAPS]] > [[title case]]. Adds: [[Template:Official website]], [[WP:NAVBOX]]. |
| 953012725 | 2020-04-25T07:06:49Z | InternetArchiveBot | Rescuing 3 sources and tagging 0 as dead.) #IABot (v2.0 |
| 934145240 | 2020-01-05T00:16:13Z | Hmains | /* External links */category refine, sort sequence |
| 934108143 | 2020-01-04T20:20:10Z | Hmains | /* External links */category refine, sort sequence |
| 926269885 | 2019-11-15T07:16:01Z | Icepitts | removed dead links |
| 919297181 | 2019-10-02T23:08:58Z | Monkbot | [[User:Monkbot/task 16: remove replace deprecated dead-url params|Task 16]]: replaced (2×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; |
| 895183604 | 2019-05-02T15:03:56Z | 2406:3400:217:C980:DE0B:34FF:FE99:5E7A | /* Acquisition */ |
| 895183232 | 2019-05-02T15:00:31Z | 2406:3400:217:C980:DE0B:34FF:FE99:5E7A | /* Acquisition */ |
| 895182379 | 2019-05-02T14:53:30Z | 2406:3400:217:C980:DE0B:34FF:FE99:5E7A | /* Acquisition */New information post acquisition. |
| 859741832 | 2018-09-16T01:07:30Z | PrimeBOT | /* top */[[Wikipedia:Bots/Requests_for_approval/PrimeBOT_28|Task 28]] - removal of deprecated parameters from [[Template:infobox company]] (+ genfixes) |
| 828711279 | 2018-03-04T08:29:59Z | InternetArchiveBot | Rescuing 1 sources and tagging 0 as dead. #IABot (v1.6.4) |
| 799350420 | 2017-09-07T04:38:08Z | KolbertBot | Bot: [[User:KolbertBot|HTTP→HTTPS]] |
| 777571996 | 2017-04-27T23:44:29Z | 76.22.118.146 | /* OKL4 Microvisor */ Updated number of deployed devices per a GD web page. See the third paragraph under the "Why choose General Dynamics?" tab. |
| 739007888 | 2016-09-12T07:37:47Z | GreenC bot | [[User:Green Cardamom/WaybackMedic 2|WaybackMedic 2]] |
| 728086532 | 2016-07-03T02:32:23Z | Ray Van De Walker | /* Paravirtualized guest OSes */Added Windows to OS list. |
| 726571122 | 2016-06-23T00:54:11Z | Cyberbot II | Removing {{[[Template:Blacklisted-links|Blacklisted-links]]}}. No blacklisted links were found. ([[en:WP:PEACHY|Peachy 2.0 (alpha 8)]]) |
| 713674752 | 2016-04-05T10:53:49Z | Cyberbot II | Tagging page with {{[[Template:Blacklisted-links|Blacklisted-links]]}}. Blacklisted links found. ([[en:WP:PEACHY|Peachy 2.0 (alpha 8)]]) |
| 701958091 | 2016-01-27T16:01:00Z | Cyberbot II | Rescuing 1 sources, flagging 0 as dead, and archiving 5 sources. #IABot |
| 684993905 | 2015-10-10T02:34:28Z | 50.126.125.240 | /* See also */ |
| 667256527 | 2015-06-16T21:26:34Z | FactCheckDC | The technology developed by Open Kernel Labs is now available on General Dynamics Mission Systems (formally C4 Systems) new website, gdmissionsystems.com |
| 666578080 | 2015-06-12T04:07:06Z | 203.191.203.134 | Note Sydney office closure and Cog Systems start-up by former OKL staff |
| 662029280 | 2015-05-12T17:18:27Z | 192.35.79.113 | marked dead link |
| 648623291 | 2015-02-24T13:05:29Z | 128.229.4.2 | |
| 614366527 | 2014-06-25T14:03:02Z | 220.233.21.251 | |
| 614366415 | 2014-06-25T14:02:05Z | 220.233.21.251 | |
| 610719838 | 2014-05-30T00:15:00Z | CorporateM | /* Awards & Recognition */ per orgawards |
| 608442338 | 2014-05-13T20:36:18Z | Hollylarocco | /* Awards & recognitions */ |
| 593644754 | 2014-02-02T22:11:57Z | Dsimic | /* References */ Flexible multi-column layout |
| 593644667 | 2014-02-02T22:11:19Z | Dsimic | Filling in 2 references using [[WP:REFLINKS|Reflinks]] |
| 593644409 | 2014-02-02T22:09:43Z | Dsimic | /* Products */ Another inline link turned into a reference |
| 593644267 | 2014-02-02T22:08:45Z | Dsimic | /* Products */ Inline link turned into a reference; Section titles cleanup |
| 580711963 | 2013-11-08T05:19:18Z | Codename Lisa | removed [[Category:Virtual machines]] using [[WP:HC|HotCat]] It develops [[hypervisor]]s, not [[virtual machines]]. These are related but not the same. |
| 578263292 | 2013-10-22T13:59:35Z | ScotXW | |
| 567465873 | 2013-08-06T23:25:53Z | Shaun9876 | Reverted edit(s) by [[Special:Contributions/108.43.192.76|108.43.192.76]] identified as test/vandalism using [[WP:STiki|STiki]] |
| 567463128 | 2013-08-06T22:58:46Z | 108.43.192.76 | just the facts and truth |
| 565433614 | 2013-07-23T05:37:43Z | Rotlink | linuxdevices.com is dead |
| 545615915 | 2013-03-20T06:20:03Z | Addbot | [[User:Addbot|Bot:]] Migrating 1 interwiki links, now provided by [[Wikipedia:Wikidata|Wikidata]] on [[d:q7096107]] |
| 542459834 | 2013-03-06T22:49:58Z | Yobot | [[WP:CHECKWIKI]] errors fixed + general fixes using [[Project:AWB|AWB]] (8961) |
| 538366661 | 2013-02-15T07:47:33Z | Chris Chittleborough | /* OKL4 Microvisor */ Update deployment number (now well over 1.5 billion!), with cite |
| 537055714 | 2013-02-07T14:14:08Z | 57.66.56.238 | /* OKL4 Microvisor */ More specific link is better in this context |
| 512376004 | 2012-09-14T10:59:02Z | 60.242.194.200 | Added acquisition by GD |
| 504691119 | 2012-07-29T03:06:59Z | Hmainsbot1 | AWB general fixes and delink dates per [[:WP:DATELINK]], [[:WP:YEARLINK]] and [[:MOS:UNLINKYEARS]] using [[Project:AWB|AWB]] (8097) |
| 496472658 | 2012-06-07T17:50:55Z | Bazonka | dab link |
| 474092416 | 2012-01-30T20:25:13Z | Alpha Quadrant | removed [[Category:Software companies of the United States]]; added [[Category:Software companies based in Illinois]] using [[WP:HC|HotCat]] |
| 443859484 | 2011-08-09T12:06:29Z | 184.100.181.246 | |
| 443859092 | 2011-08-09T12:02:44Z | 184.100.181.246 | infobox |
| 434120953 | 2011-06-13T20:56:27Z | 173.161.75.105 | /* Competitors */ |
| 434120731 | 2011-06-13T20:54:53Z | 173.161.75.105 | /* External links */ |
| 422987315 | 2011-04-08T07:54:28Z | LaaknorBot | r2.5.2) (robot Adding: [[zh:開放核心實驗室]] |
| 392863535 | 2010-10-25T21:21:28Z | SmackBot | Correct caps in section headers (and GFs). Problems? Come to my [[User talk:Rich Farmbrough|my talk page]]. |
| 380131761 | 2010-08-21T11:10:46Z | R'n'B | Fix [[WP:DPL|links]] to [[WP:D|disambiguation]] page [[Android (disambiguation)]] |
| 376431533 | 2010-07-31T14:55:18Z | AndyAgr | Awards & Recognitions |
| 322824796 | 2009-10-29T23:23:06Z | Heiser | details on Evoke and minor edits |
| 308283389 | 2009-08-16T11:37:08Z | Heiser | Added wikilink |
| 308283216 | 2009-08-16T11:35:06Z | Heiser | /* Background */ Fixed incorrect L4 provenance |
| 308020405 | 2009-08-14T22:01:57Z | Linuxpundit | /* External links */ Added link to Linuxdevices article on verified microkernel |
| 308020047 | 2009-08-14T21:59:41Z | Linuxpundit | /* OKL4 Microvisor */ added single- and multi-core |
| 308019765 | 2009-08-14T21:57:58Z | Linuxpundit | /* OKL4 */ added word "microvisor" |
| 308019493 | 2009-08-14T21:56:10Z | Linuxpundit | /* OKL4 */ Added reference to Evoke QA4, reordered other text. |
| 308017730 | 2009-08-14T21:45:36Z | Linuxpundit | /* External links */ Added category tags |
| 308016280 | 2009-08-14T21:36:42Z | Linuxpundit | /* Backgrouind */ Added section |
| 307988127 | 2009-08-14T18:54:44Z | Linuxpundit | /* OKL4 */ |
| 307987871 | 2009-08-14T18:53:29Z | Linuxpundit | /* Paravirtualized Guest OSes */ |
| 307987755 | 2009-08-14T18:53:00Z | AlexiusHoratius | [[WP:RBK|Reverted]] edits by [[Special:Contributions/189.50.116.113|189.50.116.113]] ([[User talk:189.50.116.113|talk]]) to last version by Linuxpundit |
| 307987708 | 2009-08-14T18:52:51Z | 189.50.116.113 | vbvbhgft43rsdasdd |
| 307987646 | 2009-08-14T18:52:35Z | Linuxpundit | /* Guest OSes */ added section |
| 307986720 | 2009-08-14T18:48:34Z | Linuxpundit | /* External links */ - added link to NICTA |
| 307986245 | 2009-08-14T18:45:57Z | Linuxpundit | Clarified type of deployment for OKL4 |
| 298970820 | 2009-06-27T17:32:57Z | SmackBot | Standard headings/general fixes, Replaced: {{Infobox_ → {{Infobox , |
| 293208985 | 2009-05-30T00:53:11Z | Erik9bot | add [[template:uncategorized]] |
| 284573935 | 2009-04-18T06:58:01Z | Heiser | [[WP:UNDO|Undid]] revision 284566938 by [[Special:Contributions/Skier Dude|Skier Dude]] ([[User talk:Skier Dude|talk]]) vandalism |
| 284566938 | 2009-04-18T05:40:14Z | Skier Dude | deleted image(s) removed |
| 281323513 | 2009-04-02T17:16:02Z | Jaroschster | Created page |
