Code

Indirect Sentries#51

Code

Open

nwf wants to merge 10 commits intoCTSRD-CHERI:masterCTSRD-CHERI/sail-cheri-riscv:masterfrom nwf:202109-isentrynwf/sail-cheri-riscv:202109-isentryCopy head branch name to clipboard

+447-134

Commits

Commits on Nov 2, 2021

• Catch up with upstream sail-riscv

  nwf-msr

  committed
  e18b411

• Add a fast-cap-dirty PTE behavior

  Show description for b7e6675
  

  nwf-msr

  and

  jrtc27

  committed
  b7e6675

• Refactor checkPTEPermission

  Show description for 15230ad
  

  nwf-msr

  and

  jrtc27

  committed
  15230ad

• xccsr: pass legalizer the privilege level

  nwf-msr

  committed
  7a8e0ad

• Introduce load-capability generation traps

  Show description for 4276a5e
  

  nwf-msr

  and

  jrtc27

  committed
  4276a5e

• CBuildCap: reject sentries without permit_execute

  Show description for 62766ec
  

  nwf-msr

  and

  arichardson

  committed
  62766ec

• Split handle_load_cap_via_cap into worker/wrapper

  Show description for 9470d96
  nwf-msr

  committed
  9470d96

• Split CJALR execution into worker/wrapper

  nwf-msr

  committed
  72039b9

• Indirect sentries, Load-PCC flavor

  nwf-msr

  committed
  66646f2

• Indirect Sentries: load pair flavor

  nwf-msr

  committed
  b7976c4