On Mon, 19 Feb 2024 at 10:56, Borislav Petkov <bp@xxxxxxxxx> wrote: > > On Sat, Feb 17, 2024 at 05:10:27PM +0100, Ard Biesheuvel wrote: > > Maybe this is better? > > Yap, looks better. > > Btw, when you paste those diffs ontop, can pls make sure you paste them > in applicable form so that I can apply them and look at them in detail? > > gmail mangles them: > > > + > > + pgd[pgd_index(__START_KERNEL_map)] = (pgdval_t)p4d | > > _PAGE_TABLE_NOENC; > > For example, linebreak here. > Yeah, sorry about that.