All,
I received the Versatile Express Cortex-M Prototyping System + and am using DesignStart. I powered on the board and the operating system booted up without any problems.
In the V2M_MPS2/MB/HBI0263C/board.txt file, the following are the sequence of…