yyshen

> Yes, I think that is a good plan. The only remain question for me is if all architectures require write permission, and for which operations specifically. A quick check...

I vaguely remember the map_kernel_window for armv6 has some comments about the last page (I could be wrong), but it is probably too old to exist in this repo.

> The preprocess failure is fine from the verification side. > > Just to double-check, though, since this is in non-verified code: is the rest of the kernel code fine...

@kent-mcleod @axel-h I think we can merge it. any other improvements?

One thing we probably should also consider is that how the GICv4 with directly injected virtual LPIs will reduce the overhead.

> hi @kent-mcleod > I am developing a feature that can reboot vm linux, but i meet some issues. > reference to the existing code , it does not work...

@axel-h thanks for the changes. I just want to double check if there are any bugs fixed in the PR.