readme: add NXP iMX8X to supported platforms
[barrelfish] / include / octopus /
drwxr-xr-x   ..
-rw-r--r-- 543 barrier.h
-rw-r--r-- 716 capability_storage.h
-rw-r--r-- 1763 definitions.h
-rw-r--r-- 1713 getset.h
-rw-r--r-- 997 init.h
-rw-r--r-- 515 lock.h
-rw-r--r-- 571 octopus.h
drwxr-xr-x - parser
-rw-r--r-- 797 pubsub.h
-rw-r--r-- 707 semaphores.h
-rw-r--r-- 1136 trigger.h