Code

Fix examples for channel PPC change#251

Code

Merged

Ivan-Velickovic merged 1 commit intomainseL4/microkit:mainfrom examples_fix_ppseL4/microkit:examples_fix_ppCopy head branch name to clipboardNov 24, 2024

+4-4

Commits

Commits on Nov 24, 2024

• Fix examples for channel PPC change

  Show description for 0f75fdc
  Ivan-Velickovic

  committed
  0f75fdc

  Copy full SHA for 0f75fdc