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
port FreeRTOS and seL4 for NASA cFE and OSAL
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
port FreeRTOS and seL4 for NASA cFE and OSAL
MIT License