Code

Update roadmap with clarification#208

Code

Merged

Ivan-Velickovic merged 1 commit intoseL4:masterseL4/docs:masterfrom Ivan-Velickovic:clarify_roadmapIvan-Velickovic/docs:clarify_roadmapCopy head branch name to clipboardDec 6, 2023

+1-1

Commits

Commits on Dec 6, 2023

• Clarify seL4 Microkit example system in roadmap

  Show description for 0dbd6dd
  Ivan-Velickovic

  committed
  0dbd6dd

  Copy full SHA for 0dbd6dd