Open lsf37 opened 2 months ago
This re-enables test IPC0028 which was found effectively disabled since 2017 and broken in #89.
We can use this PR for checking potential fixes.
See also https://github.com/seL4/seL4/issues/941 and https://github.com/seL4/seL4/pull/986
This re-enables test IPC0028 which was found effectively disabled since 2017 and broken in #89.
We can use this PR for checking potential fixes.
See also https://github.com/seL4/seL4/issues/941 and https://github.com/seL4/seL4/pull/986