Add imx8x platform
authorDaniel Schwyn <daniel.schwyn@inf.ethz.ch>
Thu, 23 May 2019 08:27:44 +0000 (10:27 +0200)
committerDaniel Schwyn <daniel.schwyn@inf.ethz.ch>
Tue, 8 Oct 2019 13:45:28 +0000 (15:45 +0200)
commitae5e0e28d155d44efc147a55d172c17343c8ccd8
tree53c1280f530e75ec76c13a0d8e8c2f76f0a0b71f
parentecdd738e3f71d38d118992c7640054ce0df0e489
Add imx8x platform

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>
hake/menu.lst.armv8_imx8x [new file with mode: 0644]
include/barrelfish_kpi/platform.h
kernel/Hakefile
kernel/arch/armv8/boot/boot_entry.S
kernel/arch/armv8/plat_imx8x.c [new file with mode: 0644]
platforms/Hakefile