Code

Add the seL4 Microkit project#204

Code

Merged

lsf37 merged 2 commits intomasterseL4/docs:masterfrom microkitseL4/docs:microkitCopy head branch name to clipboardOct 23, 2023

+45-2

Commits

Commits on Oct 19, 2023

• Remove seL4 Core Platform from community projects

  Show description for f8293a7
  Ivan-Velickovic

  committed
  f8293a7

Commits on Oct 23, 2023

• Add the seL4 Microkit project

  Show description for 0dce8a8
  Ivan-Velickovic

  committed
  0dce8a8