Code

introduce mcs-devel.xml#20

Code

Merged

lsf37 merged 4 commits intomasterseL4/verification-manifest:masterfrom mcs-develseL4/verification-manifest:mcs-develCopy head branch name to clipboardJul 18, 2024

+28-7

Commits

Commits on Jul 18, 2024

• Add mcs-devel.xml as analogue to devel.xml

  Show description for 63c28a3
  lsf37

  committed
  63c28a3

• mcs-devel: bump kernel revision

  Show description for 7579fc0
  lsf37

  committed
  7579fc0

• Update README for new mcs-devel manifest

  Show description for de8b143
  lsf37

  committed
  de8b143

• Merge branch 'master' into mcs-devel

  lsf37

  authored
  bf37f58