j
k
j a
j l
A patch has just been merged that may fix this.
The problem was https://github.com/seL4/seL4/issues/749 --- not all the places that need the flag change were found.
Peter C
Back to the thread
Back to the list