Code

Add tests for new MCS fault cases#23

Code

Draft

xurtis wants to merge 4 commits intoseL4:masterseL4/sel4test:masterfrom xurtis:cmillar/no-sc-faultxurtis/sel4test:cmillar/no-sc-faultCopy head branch name to clipboard

+374-5

Commits

Commits on Aug 7, 2020

• mcs: add function that creates + binds timeout EP

  Show description for eef2820
  xurtis

  committed
  eef2820

  Copy full SHA for eef2820

• trivial: Timeout always checks for Exhausted

  Show description for cf0b9c3
  xurtis

  committed
  cf0b9c3

  Copy full SHA for cf0b9c3

• mcs: Add tests for invalid SC faults

  Show description for f8a9475
  xurtis

  committed
  f8a9475

  Copy full SHA for f8a9475

Commits on Aug 19, 2021

• Merge branch 'master' into cmillar/no-sc-fault

  lsf37

  authored
  01aa9d4

  Copy full SHA for 01aa9d4