search

seL4 / sel4test

Test suite for seL4.
http://sel4.systems
Other
25 stars 63 forks source link

trivial: fix comment #121

Closed axel-h closed 6 months ago

Indanz commented 6 months ago

Seems silly to do one commit for one small typo.