Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Even if it's tightly coupled with the kernel (e.g. identifying specific tasks from the kernel), in the end it's a library and so it should be placed accordingly. Signed-off-by: Miquel Sabaté Solà <[email protected]>
- Loading branch information