Pretty much everything in traditional banking runs either on mainframes or Windows PCs. If there's Linux servers or non-windows clients, that's usually bolted on via some sort of adapter to the mainframes.
We were still using OS/2 for some stuff in the early 2000s. The ATMs ran on it.