Code

Rewrite the tool#126

Code

Merged

Ivan-Velickovic merged 6 commits intomainseL4/microkit:mainfrom rsseL4/microkit:rsCopy head branch name to clipboardMay 22, 2024

+5,265-4,221

Commits

Commits on May 22, 2024

• Rewrite the Microkit tool

  Show description for 2118854
  Ivan-Velickovic

  committed
  2118854

• Change dev_build script for rewritten tool

  Show description for cf44e0a
  Ivan-Velickovic

  committed
  cf44e0a

• README: update for rewritten tool

  Show description for 677b28c
  Ivan-Velickovic

  committed
  677b28c

• ci: update for tool rewrite

  Show description for 390369e
  Ivan-Velickovic

  committed
  390369e

• tool: add licenses

  Show description for 8890e2f
  Ivan-Velickovic

  committed
  8890e2f

• tool: fix ELF header struct definitions

  Show description for 47b9402
  Ivan-Velickovic

  committed
  47b9402