On Thu, Mar 23, 2023, Thomas Huth wrote: > On 14/02/2023 07.47, Like Xu wrote: > > CC more KUT maintainers, could anyone pick up these two minor x86 tests ? > > Your patches never made it to my inbox - I guess they got stuck in a mail > filter on the way ... Paolo, Sean, did you get them? Yeah, I have them. I'll prep a pull request, there are many KUT x86 patches floating around that need to get merged. Will likely take me a few days though.