[go: up one dir, main page]

Skip to content

aogrcs/cFS_FreeRTOS_seL4

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

21 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published