[RFC] [JIRA] (RFC-2) A dedicated C runtime for seL4

Attachments:

• attachment.html (text/html — 16.1 KB)
• attachment.png (image/png — 1.1 KB)
• attachment.png (image/png — 369 bytes)
• attachment.png (image/png — 10.6 KB)