armv8: Add missing GIC Mackerel devices to Hakefile
authorDaniel Schwyn <daniel.schwyn@inf.ethz.ch>
Mon, 2 Dec 2019 12:25:12 +0000 (13:25 +0100)
committerDaniel Schwyn <daniel.schwyn@inf.ethz.ch>
Wed, 18 Mar 2020 14:15:02 +0000 (15:15 +0100)
commitfc9e922f534ab57fde06829067358736b7870f4d
treee631b228a6938a39a5c3c46002985330751a0d0f
parent3f99bc2530caa4d94dd659686ea2f0c21e405086
armv8: Add missing GIC Mackerel devices to Hakefile

imx8x and RPi were missing the GICv3 Mackerel devices
in kernel Hakefile

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>
kernel/Hakefile