Code

device-model fixes#260

Code

Open

bukinr wants to merge 4 commits intoCTSRD-CHERI:masterCTSRD-CHERI/cheribuild:masterfrom bukinr:dmfixes1bukinr/cheribuild:dmfixes1Copy head branch name to clipboard

+25-14

Commits

Commits on Nov 11, 2021

• Rename run-dm target;

  Show description for 98b95d1
  bukinr

  committed
  98b95d1

  Copy full SHA for 98b95d1

• Use setup when possible.

  bukinr

  committed
  70c0fa4

  Copy full SHA for 70c0fa4

• Dont include CheriConfig as unused

  bukinr

  committed
  bcde961

  Copy full SHA for bcde961

• Restore device-model disk-image target.

  bukinr

  committed
  9e7e228

  Copy full SHA for 9e7e228