Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
32 lines (22 sloc) 1 KB

Internal Libraries

We have four major collections of libraries developed in house:

  • seL4_libs: seL4 specific libs that were started before the open sourcing of seL4
  • util_libs: OS independent libs that were started before the open sourcing of seL4
  • seL4_projects_libs: seL4 specific libs that were started after the open sourcing of seL4 - new libraries should go here.
  • projects_libs: OS independent libs that were started after the open source of seL4 - new OS independent libs should go here.

Please see the specific readmes of each library collection for more detail.

External libraries

We keep external libraries in non-condensed repos so that it is trivial to pull in upstream changes.

You can’t perform that action at this time.