On 2018/1/11 17:53, Peter Maydell wrote: >> we only support AArch64 kernel, not support AArch32 >> kernel or AArch32 user space. > Nope, you must handle AArch32 EL1 correctly in some way, even if that > is only "this guest CPU doesn't support RAS notification and we > will not notify it". And you must absolutely support AArch32 EL0, > that's a requirement for getting this merged. It's not difficult. sure, it needed. I absolutely follow your suggestion and handle AArch32 EL1 correctly in some way. it is not difficult.