readme: add NXP iMX8X to supported platforms
[barrelfish] / kernel / include /
drwxr-xr-x   ..
drwxr-xr-x - arch
-rw-r--r-- 1725 cap_predicates.h
-rw-r--r-- 11154 capabilities.h
-rw-r--r-- 683 coreboot.h
-rw-r--r-- 505 debug.h
-rw-r--r-- 3635 dispatch.h
-rw-r--r-- 1154 distcaps.h
-rw-r--r-- 1422 exec.h
-rw-r--r-- 898 gdb_stub.h
-rw-r--r-- 3780 kcb.h
-rw-r--r-- 4514 kernel.h
-rw-r--r-- 890 kernel_multiboot.h
-rw-r--r-- 576 kputchar.h
-rw-r--r-- 3233 logging.h
-rw-r--r-- 937 microbenchmarks.h
-rw-r--r-- 1123 paging_generic.h
-rw-r--r-- 1552 paging_kernel_helper.h
-rw-r--r-- 1430 schedule.h
-rw-r--r-- 2023 serial.h
-rw-r--r-- 2233 startup.h
-rw-r--r-- 1076 sys_debug.h
-rw-r--r-- 7062 syscall.h
-rw-r--r-- 1153 systime.h
drwxr-xr-x - target
-rw-r--r-- 806 timer.h
-rw-r--r-- 2845 uefi_mmap.h
-rw-r--r-- 994 useraccess.h
-rw-r--r-- 582 wakeup.h