Using Linux in Air Traffic Control Hardware and Operating System Platforms