/seL4_essential

seL4_essential

This repo serves as a local, directly usable seL4 package for application development