sel4test icon indicating copy to clipboard operation
sel4test copied to clipboard
verified publisher icon seL4

ipc: re-enable test IPC0028

Open lsf37 opened this issue 1 year ago • 0 comments

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

lsf37 avatar Jun 17 '24 10:06 lsf37