l4v icon indicating copy to clipboard operation
l4v copied to clipboard

Published 20 hours ago • verified publisher icon seL4

Investigate adding `projectKOs` to the simp set

Open michaelmcinerney opened this issue 1 year ago • 1 comments

projectKOs is in the simp set on RISCV64 and AARCH64, but not on the other architectures. We should investigate standardising this and adding it to the simp set on all architectures.

michaelmcinerney avatar Oct 23 '23 00:10 michaelmcinerney

In particular also between rt and master

lsf37 avatar Oct 23 '23 02:10 lsf37