Is secure Linux ready for industrial control?