MPS2 model platforms include MPS2 components and
generic ones, such as buses and timers.
MPS2 platforms are sufficiently accurate to boot the Keil® RTX RTOS
and run the Blinky application.
To list the model parameters and their types, allowed values, default
values, and descriptions, run the model, passing in the
On Windows, the MPS2 components are in the
On Linux, the MPS2 components are in the