Code

Arch-split overhaul for design spec#809

Code

Merged

lsf37 merged 4 commits intoseL4:masterseL4/l4v:masterfrom Xaphiosis:arch-split_designXaphiosis/l4v:arch-split_designCopy head branch name to clipboardAug 19, 2024

+352-439

Commits

Commits on Aug 18, 2024

• machine: requalify more machine op consts and types

  Show description for d8ef271
  Xaphiosis

  committed
  d8ef271

  Copy full SHA for d8ef271

• design m-skel: use arch_global_naming and arch_requalify

  Show description for 1fc58ab
  Xaphiosis

  committed
  1fc58ab

  Copy full SHA for 1fc58ab

Commits on Aug 19, 2024

• design: deploy arch_requalify infrastructure

  Show description for 7e538e4
  Xaphiosis

  committed
  7e538e4

  Copy full SHA for 7e538e4

• refine+crefine: update for arch_requalify design spec updates

  Show description for e152c9e
  Xaphiosis

  committed
  e152c9e

  Copy full SHA for e152c9e