andrew e91597da47 Remove IPI_IRQ_START and IPI_IRQ_END from the arm kernel config files. ...

These are unneeded with INTRNG.

2018-07-28 06:46:10 +00:00

..

files.rk30xx

dwmmc: Fully subclass driver

2017-12-30 22:01:17 +00:00

rk30xx_gpio.c

sys/arm: further adoption of SPDX licensing ID tags.

2017-11-27 15:04:10 +00:00

rk30xx_grf.c

sys/arm: further adoption of SPDX licensing ID tags.

2017-11-27 15:04:10 +00:00

rk30xx_grf.h

sys/arm: further adoption of SPDX licensing ID tags.

2017-11-27 15:04:10 +00:00

rk30xx_machdep.c

sys/arm: further adoption of SPDX licensing ID tags.

2017-11-27 15:04:10 +00:00

rk30xx_mp.c

Switch Rockchip RK3188 SoC to use the platform code.

2016-12-13 11:43:46 +00:00

rk30xx_mp.h

Switch Rockchip RK3188 SoC to use the platform code.

2016-12-13 11:43:46 +00:00

rk30xx_pmu.c

sys/arm: further adoption of SPDX licensing ID tags.

2017-11-27 15:04:10 +00:00

rk30xx_pmu.h

sys/arm: further adoption of SPDX licensing ID tags.

2017-11-27 15:04:10 +00:00

rk30xx_wdog.c

sys/arm: further adoption of SPDX licensing ID tags.

2017-11-27 15:04:10 +00:00

rk30xx_wdog.h

sys/arm: further adoption of SPDX licensing ID tags.

2017-11-27 15:04:10 +00:00

std.rk30xx

Remove IPI_IRQ_START and IPI_IRQ_END from the arm kernel config files.

2018-07-28 06:46:10 +00:00