seL4 / util_libs

Other
55 stars 83 forks source link

trivial: fix typo in comment #183

Closed axel-h closed 4 months ago