tree 3889e883a88b31e5a61658646079b68a60707170
parent 28c5fdd69cdad1ef4eeb4dceef48bd9ada5bd907
author Damon Lee <Damon.Lee@data61.csiro.au> 1564038706 +1000
committer Damon Lee <Damon.Lee@data61.csiro.au> 1566189500 +1000

libsel4platsupport: Add in safety checks

This commit adds in safety checks to check if we reach any invalid
state.