readme: add NXP iMX8X to supported platforms
[barrelfish] / include / barrelfish /
drwxr-xr-x   ..
-rw-r--r-- 1839 barrelfish.h
-rw-r--r-- 3249 bulk_transfer.h
-rw-r--r-- 6945 caddr.h
-rw-r--r-- 1131 cap_predicates.h
-rw-r--r-- 9259 capabilities.h
-rw-r--r-- 3070 core_state.h
-rw-r--r-- 1465 coreset.h
-rw-r--r-- 1336 cspace.h
-rw-r--r-- 2957 debug.h
-rw-r--r-- 1724 deferred.h
-rw-r--r-- 4369 dispatch.h
-rw-r--r-- 2858 dispatcher.h
-rw-r--r-- 4907 domain.h
-rw-r--r-- 1042 event_mutex.h
-rw-r--r-- 1574 event_queue.h
-rw-r--r-- 1884 except.h
-rw-r--r-- 1381 heap.h
-rw-r--r-- 2306 idc.h
-rw-r--r-- 2567 idc_export.h
-rw-r--r-- 1401 inthandler.h
-rw-r--r-- 18779 invocations.h
-rw-r--r-- 7344 lmp_chan.h
-rw-r--r-- 3404 lmp_endpoints.h
-rw-r--r-- 7938 memobj.h
-rw-r--r-- 2128 monitor_client.h
-rw-r--r-- 594 morecore.h
-rw-r--r-- 2870 msgbuf.h
-rw-r--r-- 5690 multihop_chan.h
-rw-r--r-- 727 nameservice_client.h
-rw-r--r-- 4298 net_constants.h
-rw-r--r-- 673 notificator.h
-rw-r--r-- 5807 pmap.h
-rw-r--r-- 2191 pmap_ds.h
-rw-r--r-- 1213 ram_alloc.h
-rw-r--r-- 638 resource_ctrl.h
-rw-r--r-- 1942 slab.h
-rw-r--r-- 4572 slot_alloc.h
-rw-r--r-- 4241 spawn_client.h
-rw-r--r-- 1845 static_assert.h
-rw-r--r-- 2398 sys_debug.h
-rw-r--r-- 1605 syscalls.h
-rw-r--r-- 1168 systime.h
-rw-r--r-- 927 terminal.h
-rw-r--r-- 2156 thread_sync.h
-rw-r--r-- 4248 threads.h
-rw-r--r-- 2154 types.h
-rw-r--r-- 5892 ump_chan.h
-rw-r--r-- 2292 ump_endpoint.h
-rw-r--r-- 6809 ump_impl.h
-rw-r--r-- 4323 vregion.h
-rw-r--r-- 1402 vspace.h
-rw-r--r-- 3858 vspace_common.h
-rw-r--r-- 1783 vspace_layout.h
-rw-r--r-- 2061 vspace_mmu_aware.h
-rw-r--r-- 4292 waitset.h
-rw-r--r-- 1715 waitset_chan.h