Gernot Heiser updated an issue

RFCs / RFC-5 The seL4 Core Platform Change By: Gernot Heiser Comment: {"id":"ari:cloud:jira:94168a52-79bd-455b-9aed-a0ff8ae2c4bb:comment/14827","version":"1"} Add Comment

Get Jira notifications on your phone! Download the Jira Cloud app for Android or iOS This message was sent by Atlassian Jira (v1001.0.0-SNAPSHOT#100153-sha1:16aad59)