[seL4] Are there any users of 32bit seL4/x86 left?

Before I write up a proper RFC for this, a poll: Is anybody still using the 32-bit x86 support of seL4? Given that Microkit only supports x64 and even most Linux distributions have removed support for 32 bit x86, my impression is that this port is now mostly unused. Since it is a maintenance burden, it would make sense to phase out support for it in seL4 so there is more time available to concentrate on newer hardware. If you don’t want to reply publicly for some reason, it’s fine to email me privately. No matter the outcome, there will be an official RFC with the usual comment period before anything is decided. Cheers, Gerwin