User contributions for Heiser
A user with 282 edits. Account created on 31 March 2007.
14 January 2024
- 07:1807:18, 14 January 2024 diff hist +341 L4 microkernel family Some updates on seL4
- 06:5106:51, 14 January 2024 diff hist +214 L4 microkernel family Pass if Intro, resolved citation-needed tag
- 06:1606:16, 14 January 2024 diff hist +365 Talk:Single address space operating system Explained latest edits on article
- 06:1206:12, 14 January 2024 diff hist −566 Single address space operating system Split projects between HW-protection and type-safety, rm flat-memory-model systems
- 05:5005:50, 14 January 2024 diff hist +644 Single address space operating system Clarify SASOS, rm incorrect statements about context switches
16 August 2023
- 15:5815:58, 16 August 2023 diff hist +443 Talk:Single address space operating system →Context switching: Reply Tag: Reply
6 May 2021
- 07:2407:24, 6 May 2021 diff hist +728 L4 microkernel family →High assurance: seL4: seL4 Foundation
- 07:2407:24, 6 May 2021 diff hist +92 L4 microkernel family →External links: seL4 and seL4 Foundation
- 06:4106:41, 6 May 2021 diff hist +467 L4 microkernel family →High assurance: seL4: Add translation validation reference
22 February 2020
- 06:2206:22, 22 February 2020 diff hist +7 m L4 microkernel family →External links
- 06:2206:22, 22 February 2020 diff hist +129 m L4 microkernel family →External links: Trustworthy Systems link
- 06:1706:17, 22 February 2020 diff hist +1 m L4 microkernel family →Further reading: Fix date on Elphinstone&Heiser
- 06:1206:12, 22 February 2020 diff hist −158 m L4 microkernel family →High assurance: seL4: Updated URL Elkaduwe_DE_08
21 November 2017
- 13:5913:59, 21 November 2017 diff hist +85 BWI BWI GmbH
4 September 2017
- 03:1903:19, 4 September 2017 diff hist 0 Tribal Warrior →Activities: fixed date
5 December 2016
- 10:4710:47, 5 December 2016 diff hist +424 L4 microkernel family →Commercial deployment: NICTA kernel
22 November 2016
- 10:3910:39, 22 November 2016 diff hist −500 Talk:Shark net →Coogee: sorry: me=stupid...
1 November 2016
- 12:1712:17, 1 November 2016 diff hist +522 Talk:L3 microkernel No edit summary
6 October 2016
- 11:1911:19, 6 October 2016 diff hist +11 Object-capability model →Implementations: doubt that Integrity is a capability system
1 September 2016
30 August 2016
10 July 2016
- 08:1608:16, 10 July 2016 diff hist +387 Talk:State of the art why section on hyphenation?
22 June 2016
- 21:0021:00, 22 June 2016 diff hist +601 Talk:Single address space operating system →Virtual address space?: invariant address
- 19:1719:17, 22 June 2016 diff hist +361 Talk:Single address space operating system →Virtual address space?: virtual is core
12 June 2016
- 13:0013:00, 12 June 2016 diff hist +155 Talk:Shark net Coogee
25 January 2016
- 22:1522:15, 25 January 2016 diff hist +485 Talk:L4 microkernel family →Fix notion that Codezero was GPL, now closed source; clarify OKL4 and Iggy license
7 January 2016
24 November 2015
- 05:5005:50, 24 November 2015 diff hist +1,033 Talk:Microkernel →Windows NT and Mac OS X Are the Special Examples of Microkernel based Operating System: incorrect
6 June 2015
- 02:0302:03, 6 June 2015 diff hist +15 Gordon Bell →Early life and education: New South Wales University of Technology wikilink
19 April 2015
7 February 2015
- 06:5906:59, 7 February 2015 diff hist +319 L4 microkernel family →Commercial deployment: iOS shipment details
- 03:0603:06, 7 February 2015 diff hist +219 22° halo No edit summary
2 February 2015
- 04:0304:03, 2 February 2015 diff hist +619 Talk:L4 microkernel family →Fix notion that Codezero was GPL, now closed source; clarify OKL4 and Iggy license
26 August 2014
- 03:3103:31, 26 August 2014 diff hist 0 Microkernel Undid nonsense edit 622834717 by 187.202.37.66 (talk)
22 August 2014
- 08:2808:28, 22 August 2014 diff hist −53 Microkernel rm vandalism by 93.16.206.254 (Oct'13)
3 August 2014
- 01:4101:41, 3 August 2014 diff hist +54 m L4 microkernel family →Design paradigm: consistent author in Lie95
- 01:3501:35, 3 August 2014 diff hist −62 m L4 microkernel family stuffed syntax, re-try
- 01:3101:31, 3 August 2014 diff hist +4 L4 microkernel family →L4: link syntax - sigh
- 01:2901:29, 3 August 2014 diff hist +58 L4 microkernel family →Design paradigm: consistent autor format in Lie95
- 01:2501:25, 3 August 2014 diff hist +33 m L4 microkernel family →High assurance: seL4: 3rd-gen wikilink
- 01:2301:23, 3 August 2014 diff hist +32 m Microkernel →Third generation: seL4 wikilinks
2 August 2014
- 07:0207:02, 2 August 2014 diff hist +900 Microkernel →Third generation: update on seL4 verification
- 06:5306:53, 2 August 2014 diff hist +319 Talk:Microkernel →Security
- 06:5206:52, 2 August 2014 diff hist −583 Microkernel →Security: fixed blatantly false statements (see talk)
- 06:1706:17, 2 August 2014 diff hist +322 L4 microkernel family →Further reading: correct citation of 20-years paper
- 06:0506:05, 2 August 2014 diff hist +116 m L4 microkernel family →L4: cite syntax
- 05:5805:58, 2 August 2014 diff hist +3 L4 microkernel family →High assurance: seL4: citation syntax
- 05:5605:56, 2 August 2014 diff hist −2 L4 microkernel family Undid revision 619515976 by Heiser (talk)
- 05:5505:55, 2 August 2014 diff hist +2 L4 microkernel family →High assurance: seL4: syntax in citation
- 05:5405:54, 2 August 2014 diff hist +50 L4 microkernel family →Other research and development: Codezero no longer OSS
