Code

Benchmark ABI kernel#2094

Code

Merged

qwattash merged 8 commits intodevCTSRD-CHERI/cheribsd:devfrom benchmark-abi-kernelCTSRD-CHERI/cheribsd:benchmark-abi-kernelCopy head branch name to clipboardMay 8, 2024

+180-104

Commits

Commits on May 7, 2024

• morello: Add Benchmark ABI notice to the boot CHERI identity message.

  qwattash

  committed
  310adc5

  Copy full SHA for 310adc5

• morello: Use the RETURN macro in all arm64 assembly files.

  Show description for 487bfc1
  qwattash

  committed
  487bfc1

  Copy full SHA for 487bfc1

Commits on May 8, 2024

• morello: Use integer branch to be consistent with compiler codegen.

  Show description for 9d7023d
  qwattash

  committed
  9d7023d

  Copy full SHA for 9d7023d

• morello: Use non-capability br/blr for the benchmark ABI kernel.

  qwattash

  committed
  418fa04

  Copy full SHA for 418fa04

• morello: Do not use trapframe_set_elr for the benchmark ABI.

  Show description for 65bb76d
  qwattash

  committed
  65bb76d

  Copy full SHA for 65bb76d

• cheri: Add sysctl features for purecap kernels.

  Show description for a38f345
  qwattash

  committed
  a38f345

  Copy full SHA for a38f345

• morello: Add benchmark ABI kernel sysctl feature flag.

  Show description for 976f21a
  qwattash

  committed
  976f21a

  Copy full SHA for 976f21a

• morello: Enable the Benchmark ABI for kernel builds.

  Show description for 78edb47
  qwattash

  committed
  78edb47

  Copy full SHA for 78edb47