Philippe Mathieu-Daudé 2e256c04c1 hw/arm/mps2-tz: Use TYPE_IOTKIT instead of hardcoded string
By using the TYPE_* definitions for devices, we can:
 - quickly find where devices are used with 'git-grep'
 - easily rename a device (one-line change).

Signed-off-by: Philippe Mathieu-Daudé <f4bug@amsat.org>
Message-id: 20200428154650.21991-1-f4bug@amsat.org
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
2020-05-04 10:32:46 +01:00
..
2020-03-10 16:12:49 +01:00
2020-04-30 15:45:34 +01:00
2020-04-13 15:42:51 +01:00
2020-02-21 09:15:04 +11:00
2020-04-30 15:45:34 +01:00
2019-10-28 19:06:47 +01:00
2020-03-05 12:18:08 -05:00
2020-04-01 19:00:16 +02:00
2019-12-17 09:01:14 +01:00
2019-12-17 09:01:14 +01:00