[PATCH v1] bsps/aarch64: translation table walk disable for translations using ttbr1

2023-10-17 Thread tianye
From: Tian Ye --- bsps/aarch64/include/bsp/aarch64-mmu.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/bsps/aarch64/include/bsp/aarch64-mmu.h b/bsps/aarch64/include/bsp/aarch64-mmu.h index 2101ef4ae0..8c69705230 100644 --- a/bsps/aarch64/include/bsp/aarch64-mmu.h +++ b/b

Re: Add Formal Verification chapter v4

2023-10-17 Thread Gedare Bloom
On Mon, Oct 9, 2023 at 9:34 AM andrew.butterfi...@scss.tcd.ie wrote: > > Eliding some stuff > >On 05/10/2023, 16:02, "Gedare Bloom" > wrote: > >>On Fri, Sep 22, 2023 at 4:50 AM andrew.butterfi...@scss.tcd.ie > >> wrote: > >>On