| # | |
| # Copyright (c) 2020, Arm Limited. All rights reserved. | |
| # | |
| # SPDX-License-Identifier: BSD-3-Clause | |
| # | |
| # Cache state modelling is disabled for this test as this particular TBBR config | |
| # thrashes the I-cache hard, leading to ~60% of CPU time spent in the host kernel | |
| # switching the pages responsible for the I-cache from writable to executable and | |
| # back again. |