Using Embedded Linux in a High Speed Gated Intensified Camera