Similar repositories to seL4/capdl: