lists.sel4.systems
Sign In Sign Up
Manage this list Sign In Sign Up

Keyboard Shortcuts

Thread View

  • j: Next unread message
  • k: Previous unread message
  • j a: Jump to all threads
  • j l: Jump to MailingList overview

RFC

Thread Start a new thread
Download
Threads by month
  • ----- 2025 -----
  • May
  • April
  • March
  • February
  • January
  • ----- 2024 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2023 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2022 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2021 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2020 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2019 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
rfc@sel4.systems

January 2021

  • 1 participants
  • 2 discussions
[JIRA] (RFC-5) The seL4 Core Platform
by Gernot Heiser (Jira) 03 Jan '21

03 Jan '21
Gernot Heiser ( https://sel4.atlassian.net/secure/ViewProfile.jspa?accountId=557058%3A0c6dd… ) *updated* an issue RFCs ( https://sel4.atlassian.net/browse/RFC?atlOrigin=eyJpIjoiMjEzZjk2M2Q1ZTRiNDU… ) / RFC ( https://sel4.atlassian.net/browse/RFC-5?atlOrigin=eyJpIjoiMjEzZjk2M2Q1ZTRiN… ) RFC-5 ( https://sel4.atlassian.net/browse/RFC-5?atlOrigin=eyJpIjoiMjEzZjk2M2Q1ZTRiN… ) The seL4 Core Platform ( https://sel4.atlassian.net/browse/RFC-5?atlOrigin=eyJpIjoiMjEzZjk2M2Q1ZTRiN… ) Change By: Gernot Heiser ( https://sel4.atlassian.net/secure/ViewProfile.jspa?accountId=557058%3A0c6dd… ) Comment: {"id":"ari:cloud:jira:94168a52-79bd-455b-9aed-a0ff8ae2c4bb:comment/14827","version":"1"} ( https://sel4.atlassian.net/browse/RFC-5#add-comment?atlOrigin=eyJpIjoiMjEzZ… ) Add Comment ( https://sel4.atlassian.net/browse/RFC-5#add-comment?atlOrigin=eyJpIjoiMjEzZ… ) 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.co… ) or iOS ( https://itunes.apple.com/app/apple-store/id1006972087?pt=696495&ct=EmailNot… ) This message was sent by Atlassian Jira (v1001.0.0-SNAPSHOT#100153- sha1:16aad59 )
1 0
0 0
[JIRA] (RFC-5) The seL4 Core Platform
by Gernot Heiser (Jira) 03 Jan '21

03 Jan '21
Gernot Heiser ( https://sel4.atlassian.net/secure/ViewProfile.jspa?accountId=557058%3A0c6dd… ) *updated* an issue RFCs ( https://sel4.atlassian.net/browse/RFC?atlOrigin=eyJpIjoiYmRmNzU0NTYyM2M0NDZ… ) / RFC ( https://sel4.atlassian.net/browse/RFC-5?atlOrigin=eyJpIjoiYmRmNzU0NTYyM2M0N… ) RFC-5 ( https://sel4.atlassian.net/browse/RFC-5?atlOrigin=eyJpIjoiYmRmNzU0NTYyM2M0N… ) The seL4 Core Platform ( https://sel4.atlassian.net/browse/RFC-5?atlOrigin=eyJpIjoiYmRmNzU0NTYyM2M0N… ) Change By: Gernot Heiser ( https://sel4.atlassian.net/secure/ViewProfile.jspa?accountId=557058%3A0c6dd… ) Comment: {"id":"ari:cloud:jira:94168a52-79bd-455b-9aed-a0ff8ae2c4bb:comment/14825","version":"1"} ( https://sel4.atlassian.net/browse/RFC-5#add-comment?atlOrigin=eyJpIjoiYmRmN… ) Add Comment ( https://sel4.atlassian.net/browse/RFC-5#add-comment?atlOrigin=eyJpIjoiYmRmN… ) 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.co… ) or iOS ( https://itunes.apple.com/app/apple-store/id1006972087?pt=696495&ct=EmailNot… ) This message was sent by Atlassian Jira (v1001.0.0-SNAPSHOT#100153- sha1:16aad59 )
1 0
0 0

HyperKitty Powered by HyperKitty version 1.3.12.