They are PCB brands. The microcontrollers are made by the usual manufacturers like ST, Renesas, Infineon...
But of course Arduino historically also didn't make the Atmel or Pico chips, so I can sort of see what they were going for.
But of course Arduino historically also didn't make the Atmel or Pico chips, so I can sort of see what they were going for.