readme: add NXP iMX8X to supported platforms
[barrelfish] / kernel / arch / armv8 /
drwxr-xr-x   ..
-rw-r--r-- 1448 boot.lds.in
drwxr-xr-x - boot
-rw-r--r-- 1746 cpu.lds.in
-rw-r--r-- 1661 dispatch.c
-rw-r--r-- 16337 exceptions.S
-rw-r--r-- 3443 exec.c
-rw-r--r-- 21873 exn.c
-rw-r--r-- 434 gdb_arch.c
-rw-r--r-- 6344 init.c
-rw-r--r-- 4386 kernel_multiboot2.c
-rw-r--r-- 27465 paging.c
-rw-r--r-- 3872 plat_apm88xxxx.c
-rw-r--r-- 1642 plat_apm88xxxx_consts.c
-rw-r--r-- 1582 plat_arm_vm.c
-rw-r--r-- 1370 plat_arm_vm_consts.c
-rw-r--r-- 3216 plat_cn88xx.c
-rw-r--r-- 3381 plat_imx8x.c
-rw-r--r-- 3279 plat_qemu.c
-rw-r--r-- 3214 plat_rpi3.c
-rw-r--r-- 13022 psci.c
-rw-r--r-- 1127 smc_hvc.S
-rw-r--r-- 27361 startup_arch.c
-rw-r--r-- 41301 syscall.c
-rw-r--r-- 4880 sysreg.S
-rw-r--r-- 3415 timers.c