This repository has been archived by the owner on Nov 16, 2023. It is now read-only.

Avoid needless register save/restore in entry path #3

Open

0xabu opened this issue Oct 6, 2017 · 0 comments

Labels

Contributor

0xabu commented Oct 6, 2017 •

edited

Loading

Prove that user execution cannot alter any of:

banked registers for FIQ and IRQ modes
banked SP registers for modes other than monitor and user mode

Then, use that lemma where needed in the enclave entry/return path, rather than needlessly saving and restoring the register values.

0xabu added the optimisation label

0xabu changed the title ~~Avoid needsless register save/restore in entry path~~ Avoid needless register save/restore in entry path

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.