This repo contains the code corresponding to our EuroSys 2022 paper.
- Cerberus' code is placed in cerberus_ReMon/.
- (Optional) Instructions to use ERIM's binary rewriter are placed in binary_rewriter_guide.
This repo contains the code corresponding to our EuroSys 2022 paper.