Genode (a secure OS in development for years) seems to be working decently well with it:
• https://genode.org
• https://genodians.org/nfeske/2024-02-15-fosdem-aftermath
... though most people are running various Linux distros from what I remember.