tree 35a49bbd2bb4736f3eadc80bfff1271571192963
parent 1f177036a60d8b473a9c3ffc3858a62e73c2e224
author Saer Debel <sdebel@data61.csiro.au> 1589171697 +1000
committer Saer Debel <sdebel@data61.csiro.au> 1589179184 +1000

added test_error_eq to show userError on assert

For a KernelInvocationReportErrorIPC config build,
errors are suppressed and should be shown on
seL4_Error assert failures. Using this would be
no different for other config builds.