Add BuildCap unsealing

This commit is contained in:
Peter Rugg
2020-04-22 15:14:58 +01:00
parent 8cc8f71cb9
commit 3b30d2db36

View File

@@ -170,7 +170,7 @@ function CapPipe capModify(CapPipe a, CapPipe b, CapModifyFunc func);
//tagged FromPtr :
// error("FromPtr not yet implemented");
tagged BuildCap :
setValidCap(a, True);
setType(setValidCap(a, True),-1);
tagged Move :
a;
tagged ClearTag :