e2d203baba
The IoTKit has a CMSDK timer device that runs on the S32KCLK. Create this and wire it up. Signed-off-by: Peter Maydell <peter.maydell@linaro.org> Reviewed-by: Philippe Mathieu-Daudé <f4bug@amsat.org> Reviewed-by: Richard Henderson <richard.henderson@linaro.org> Message-id: 20180820141116.9118-8-peter.maydell@linaro.org |
||
---|---|---|
.. | ||
allwinner-a10.h | ||
arm.h | ||
armv7m.h | ||
aspeed_soc.h | ||
bcm2835_peripherals.h | ||
bcm2836.h | ||
digic.h | ||
exynos4210.h | ||
fdt.h | ||
fsl-imx6.h | ||
fsl-imx6ul.h | ||
fsl-imx7.h | ||
fsl-imx25.h | ||
fsl-imx31.h | ||
iotkit.h | ||
linux-boot-if.h | ||
msf2-soc.h | ||
omap.h | ||
primecell.h | ||
pxa.h | ||
raspi_platform.h | ||
sharpsl.h | ||
smmu-common.h | ||
smmuv3.h | ||
soc_dma.h | ||
stm32f205_soc.h | ||
sysbus-fdt.h | ||
virt.h | ||
xlnx-zynqmp.h |