RPi Picos are certainly bare metal.

Yes, their MCU offerings are. And I generally think that Micropython is a better "modern" Arduino.

But most people know them for their Linux boards. And that's what OC was talking about.