seL4_projects_libs icon indicating copy to clipboard operation
seL4_projects_libs copied to clipboard

Published 20 hours ago • verified publisher icon seL4

Document difference between this repository and seL4_libs

Open DemiMarie opened this issue 2 years ago • 0 comments

It is not clear how this repository compares with seL4_libs. I know that seL4_libs is (or at least was) not considered to be of production quality, for example.

DemiMarie avatar Apr 20 '22 14:04 DemiMarie