readme: add NXP iMX8X to supported platforms
[barrelfish] / usr / proc_mgmt /
drwxr-xr-x   ..
-rw-r--r-- 1195 Hakefile
-rw-r--r-- 8400 domain.c
-rw-r--r-- 2468 domain.h
-rw-r--r-- 545 internal.h
-rw-r--r-- 684 main.c
-rw-r--r-- 1410 pending_clients.h
-rw-r--r-- 25779 service.c
-rw-r--r-- 5482 spawnd_state.c
-rw-r--r-- 1279 spawnd_state.h