GitHub repository: tiiuae/meta-sel4
Primary language: BitBake
Description: Yocto layer for seL4 related stuff