A few years back (around 2008, maybe) I stumbled upon an ATM that had failed to boot all the way and was pretty surprised that it was running OS/2 (and a Rexx script). This was for Brazil's largest bank (Banco do Brasil). Since then I think they've moved to Linux.