diff --git a/lib/bsp/standalone/data/standalone.mld b/lib/bsp/standalone/data/standalone.mld index 7e4a8a31..6d7f63ae 100755 --- a/lib/bsp/standalone/data/standalone.mld +++ b/lib/bsp/standalone/data/standalone.mld @@ -44,7 +44,7 @@ PARAM name = stdin, desc = "stdin peripheral", type = peripheral_instance, requi PARAM name = stdout, desc = "stdout peripheral", type = peripheral_instance, requires_interface = stdout, default=none; BEGIN CATEGORY sw_intrusive_profiling PARAM name = enable_sw_intrusive_profiling, type = bool, default = false, desc = "Enable S/W Intrusive Profiling on Hardware Targets", permit = user; - PARAM name = profile_timer, type = peripheral_instance, range = (opb_timer, xps_timer, axi_timer), default = none, desc = "Specify the Timer to use for Profiling. For PowerPC system, specify none to use PIT timer. For ARM system, specify none to use SCU timer"; + PARAM name = profile_timer, type = peripheral_instance, range = (opb_timer, xps_timer, axi_timer), default = none, desc = "Specify the Timer to use for Profiling. For ARM system, specify none to use SCU timer"; END CATEGORY BEGIN CATEGORY microblaze_exceptions