User contributions for 76.107.174.245

1 February 2015

• 02:4202:42, 1 February 2015 diff hist +837‎ High-level language computer architecture ‎ →‎Motivation: Mention security. One of the greatest benefits of these architectures barely gets a mention in such discussions.

25 December 2014

• 18:5718:57, 25 December 2014 diff hist +173‎ Cross-platform software ‎ →‎Java platform: Changed the article to acknowledge the existence of Java processors and embedded versions of Java.

16 November 2014

• 20:2120:21, 16 November 2014 diff hist +141‎ Field-programmable gate array ‎ →‎Security considerations: added antifuse FPGA's to the security section because they're the only proven solution. Everything else is a cat & mouse game.

3 August 2014

• 03:1403:14, 3 August 2014 diff hist −6‎ Guard (information security) ‎ →‎History: Changed separation kernels to security kernels. Separation kernels came after guards and their merit is even debated by people like Bell that worked on early security kernels. SCOMP and Orange Book mandated "security" kernels.

16 June 2014

• 17:2117:21, 16 June 2014 diff hist +138‎ ML (programming language) ‎ →‎Dialects: Added CakeML project

20 May 2014

• 20:4320:43, 20 May 2014 diff hist +77‎ Key management ‎ →‎Key Management Commercial Systems: Expanded it to include non-commercial systems and added one I knew about.

18 May 2014

• 00:2600:26, 18 May 2014 diff hist +181‎ Timeline of operating systems ‎ →‎1980s: Added interesting OS (Topaz) written in Modula-2+ and that actually had garbage collection in OS. That's rare. Can't loose that piece of history.

8 May 2014

• 22:3622:36, 8 May 2014 diff hist +266‎ Timeline of operating systems ‎ →‎1980s: Added Cronus OS
• 22:3322:33, 8 May 2014 diff hist +263‎ Timeline of operating systems ‎ →‎1950s: adding distributed OS's. First of hopefully many.
• 22:2722:27, 8 May 2014 diff hist +89‎ Timeline of operating systems ‎ →‎1980s: added stratus VOS
• 22:1822:18, 8 May 2014 diff hist +45‎ Timeline of operating systems ‎ →‎1970s: added Tandem NonStop

2 May 2014

• 21:5621:56, 2 May 2014 diff hist +246‎ Timeline of operating systems ‎ →‎2000s: Added a few safe/secure OS's
• 21:4721:47, 2 May 2014 diff hist +122‎ Timeline of operating systems ‎ →‎1980s: Adding LOCUS. Found it while looking for ref's on another one. Serendipity. :)
• 21:4521:45, 2 May 2014 diff hist +683‎ Timeline of operating systems ‎ →‎1990s: added safe/secure systems for 90's
• 21:3221:32, 2 May 2014 diff hist +867‎ Timeline of operating systems ‎ →‎1980s: Adding safe/secure OS's for 1980's with references
• 21:2021:20, 2 May 2014 diff hist +533‎ Timeline of operating systems ‎ →‎1970s: Adding various secure/safe OS's to the article with references. First of several edits.
• 21:0721:07, 2 May 2014 diff hist −109‎ Flex machine ‎ Old link was dead. Took some digging but found a technical paper. Gotta love DTIC!
• 19:5219:52, 2 May 2014 diff hist +15‎ Timeline of operating systems ‎ →‎1960s: Enticknap says the system was completed (and released) in 1964. Better to put it in the year it delivered rather than one it promised.
• 16:2716:27, 2 May 2014 diff hist +84‎ Trusted Computer System Evaluation Criteria ‎ →‎A — Verified protection: Added some other systems in this class, three that made production. Shortened SCOMP reference as acronym is explained in link.

7 April 2014

• 23:5723:57, 7 April 2014 diff hist +481‎ Asynchronous I/O ‎ →‎Forms: Added Channel I/O, which is the original asynchronous I/O method and still outperforms most on this list by far.

29 March 2014

• 23:4923:49, 29 March 2014 diff hist +21‎ ARM architecture family ‎ →‎Cores: Added a chip
• 23:0923:09, 29 March 2014 diff hist +228‎ DLX ‎ Found another DLX chip which was actually put on ASIC. Heck yeah! Added it and a reference.

10 March 2014

• 00:0300:03, 10 March 2014 diff hist +170‎ DLX ‎ →‎External links: I added a reference for my VAMP processor claim. Figured DLX students might like the work too.

9 March 2014

• 23:5923:59, 9 March 2014 diff hist −68‎ DLX ‎ Original said no implementation, VHDL, compiler, etc existed. I replaced that with VAMP, which had all of those.

4 February 2014

• 21:2121:21, 4 February 2014 diff hist +213‎ Memory protection ‎ →‎Capability-based addressing: For fairness, I added past commercial products & more realistic research systems.

9 January 2014

• 01:4301:43, 9 January 2014 diff hist +5‎ Security-evaluated operating system ‎ →‎Green Hills INTEGRITY: INTEGRITY & INTEGRITY-178B different OS's with different features. Green Hills marketing like to imply non-178B is EAL6 with such wording.

26 October 2013

• 16:4616:46, 26 October 2013 diff hist −14‎ Comparison of operating systems ‎ →‎General information: a price sheet i read a while back had a STOP OS license at around $67,000. Other costs too. So, I say "$60k+".

3 August 2013

• 16:3316:33, 3 August 2013 diff hist +42‎ Internet mail standard ‎ →‎External links: Link was broken. Used wayback machine.

8 February 2013

• 02:1202:12, 8 February 2013 diff hist −93‎ Multilevel security ‎ →‎See also: Link was broken. I also have seen little to nothing from the company in the MLS space over past 3 years. Dead?

20 December 2012

• 23:1223:12, 20 December 2012 diff hist −92‎ XTS-400 ‎ →‎External links: Removed Trustifier. It's a competing product that's totally unrelated. It's implementation also doesn't featured layered OS kernel/stack. Link was an advertisement.