diff --git a/targets/targets.json b/targets/targets.json index 2712c380ca..755abe62dc 100644 --- a/targets/targets.json +++ b/targets/targets.json @@ -7039,7 +7039,7 @@ "tickless-from-us-ticker": true, "mpu-rom-end": "0x1fffffff" }, - "device_has": [ + "device_has_add": [ "USTICKER", "LPTICKER", "RTC",