Giters

aogrcs / cFS_FreeRTOS_seL4

port FreeRTOS and seL4 for NASA cFE and OSAL

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

About

port FreeRTOS and seL4 for NASA cFE and OSAL

License:MIT License

Languages

Language:C 54.4%Language:HTML 25.9%Language:PLSQL 8.6%Language:Java 3.4%Language:C++ 3.3%Language:Python 1.8%Language:Makefile 1.6%Language:CMake 0.3%Language:Perl 0.3%Language:Objective-C 0.2%Language:Shell 0.1%Language:Perl 6 0.1%Language:Scilab 0.1%Language:CSS 0.0%Language:Awk 0.0%