Code

Fix linking of tool on Linux AArch64#222

Code

Merged

Ivan-Velickovic merged 1 commit intomainseL4/microkit:mainfrom linux_aarch64_fixseL4/microkit:linux_aarch64_fixCopy head branch name to clipboardOct 2, 2024

+3-2

Commits

Commits on Oct 2, 2024

• Fix linking of tool on Linux AArch64

  Show description for 52cf3a3
  Ivan-Velickovic

  committed
  52cf3a3