CUnseal: permit any in-bound type #87

nwf · 2024-11-15T21:57:33Z

FIXES #71

rmn30

Please add something to the change log and perhaps expand the comment to be more specific about when cs2 is "unable to authorize the sealing"? Have you checked for other mentions of unsealing in the arch doc that might need tweaking?

rmn30 · 2024-11-18T10:20:00Z

Looks like the text already says that CUnseal works with for any inbounds otype so it is currently a bit inconsistent. Please update the changelog and doc comment, though.

src/cheri_insts.sail

FIXES #71 Co-authored-by: Robert Norton <[email protected]>

rmn30 requested changes Nov 18, 2024

View reviewed changes

nwf force-pushed the 202411-cunseal_bounds branch from 8b12792 to a9363df Compare November 18, 2024 15:43

nwf requested a review from rmn30 November 18, 2024 15:53

rmn30 approved these changes Nov 18, 2024

View reviewed changes

rmn30 requested changes Nov 19, 2024

View reviewed changes

src/cheri_insts.sail Show resolved Hide resolved

CUnseal: permit any in-bound type

cf914f8

FIXES #71 Co-authored-by: Robert Norton <[email protected]>

nwf force-pushed the 202411-cunseal_bounds branch from a9363df to cf914f8 Compare November 19, 2024 13:32

rmn30 approved these changes Nov 19, 2024

View reviewed changes

rmn30 merged commit 069bbd6 into main Nov 19, 2024
2 checks passed

rmn30 deleted the 202411-cunseal_bounds branch November 19, 2024 14:35

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

CUnseal: permit any in-bound type #87

CUnseal: permit any in-bound type #87

nwf commented Nov 15, 2024

rmn30 left a comment •

edited

Loading

rmn30 commented Nov 18, 2024

CUnseal: permit any in-bound type #87

CUnseal: permit any in-bound type #87

Conversation

nwf commented Nov 15, 2024

rmn30 left a comment • edited Loading

Choose a reason for hiding this comment

rmn30 commented Nov 18, 2024

rmn30 left a comment •

edited

Loading