Restructure repository - Githubissues

au-ts / lionsos

A secure, fast, and adaptable OS based on the seL4 microkernel

https://lionsos.org

BSD 2-Clause "Simplified" License

84 stars 7 forks source link

Restructure repository #53

Closed JE-Archer closed 4 months ago

JE-Archer commented 4 months ago

This PR changes the directory structure of the repository. At project root, the structure is changed to:

dep/: third-party repositories;
lib/: first-party library code, potentially sub-categorised;
components/: first-party components (that can be run as Microkit PDs), potentially sub-categorised;
include/: first-party public interfaces;
examples/: as before, complete example systems.