Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

switcher: use two different (un)sealing caps #359

Merged
merged 1 commit into from
Nov 28, 2024

Conversation

nwf
Copy link
Member

@nwf nwf commented Nov 26, 2024

This shrinks the switcher section by 22 bytes in total and removes 10 instructions, 6 of which were in the swticher "core" (cross-call and exception paths).

If we end up keeping the CUnseal-inbounds architectural change (CHERIoT-Platform/cheriot-sail#87), then this is especially worthwhile, as it dodges the need to add a few csetbounds instructions.

Doing this separately from #358 because it's a hair more invasive and could stand to be reviewed independently.

@nwf nwf requested a review from davidchisnall November 26, 2024 22:24
@nwf nwf force-pushed the 202411-switcher-dual-wield-seals branch from af22660 to 8c9b27a Compare November 26, 2024 22:37
This shrinks the switcher section by 22 bytes in total and removes 10
instructions, 6 of which were in the swticher "core" (cross-call and
exception paths).
@nwf nwf force-pushed the 202411-switcher-dual-wield-seals branch from 8c9b27a to 0511f49 Compare November 27, 2024 21:37
@nwf nwf merged commit 049fb9e into CHERIoT-Platform:main Nov 28, 2024
6 checks passed
@nwf nwf deleted the 202411-switcher-dual-wield-seals branch November 28, 2024 13:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants