I have a EKK-LM4F232 Evaluation board and I am using the latest version of Keil's MDK (Version 4.70a), however, I cannot find the option "Luminary Eval Board" in the drop list in the Debug tab in "Options for Target" window. Does anyone know how to solve this? Thank you.