A Replacement OS for Robocoin ATM Hardware.