Gernot Heiser ( https://sel4.atlassian.net/secure/ViewProfile.jspa?accountId=557058%3A0c6dd8... ) *updated* an issue

RFCs ( https://sel4.atlassian.net/browse/RFC?atlOrigin=eyJpIjoiMjEzZjk2M2Q1ZTRiNDUy... ) / RFC ( https://sel4.atlassian.net/browse/RFC-5?atlOrigin=eyJpIjoiMjEzZjk2M2Q1ZTRiND... ) RFC-5 ( https://sel4.atlassian.net/browse/RFC-5?atlOrigin=eyJpIjoiMjEzZjk2M2Q1ZTRiND... ) The seL4 Core Platform ( https://sel4.atlassian.net/browse/RFC-5?atlOrigin=eyJpIjoiMjEzZjk2M2Q1ZTRiND... )

Change By: Gernot Heiser ( https://sel4.atlassian.net/secure/ViewProfile.jspa?accountId=557058%3A0c6dd8... ) Comment: {"id":"ari:cloud:jira:94168a52-79bd-455b-9aed-a0ff8ae2c4bb:comment/14827","version":"1"}

( https://sel4.atlassian.net/browse/RFC-5#add-comment?atlOrigin=eyJpIjoiMjEzZj... ) Add Comment ( https://sel4.atlassian.net/browse/RFC-5#add-comment?atlOrigin=eyJpIjoiMjEzZj... )

Get Jira notifications on your phone! Download the Jira Cloud app for Android ( https://play.google.com/store/apps/details?id=com.atlassian.android.jira.cor... ) or iOS ( https://itunes.apple.com/app/apple-store/id1006972087?pt=696495&ct=Email... ) This message was sent by Atlassian Jira (v1001.0.0-SNAPSHOT#100153- sha1:16aad59 )