README.md

cFS_FreeRTOS_seL4

port FreeRTOS and seL4 for NASA cFE and OSAL First port FreeRTOS, it maybe need socket; then seL4, I think it is a little hard

config psp-->osal-->cpu cfe-->missio -->plaform app

debug-opts.mak pc-linux-->compiler -->link