I used to work for a manufacturer who made the printer mechanism for Diebold ATMs. Back then, the O/S for the ATMs was IBM OS/2. Since their roots are firmly in the banking industry, I'd be very surprised if they are using a Microsoft O/S. OS/2 is still used quite widely in that sort of thing.
Microsoft Windows CE 3.0 in the AccuVote-TS.