Testing.md refers to really old seL4 versions
kent-mcleod opened this issue · comments
It talks about 2.0.x.xml
https://github.com/SEL4PROJ/docs/blob/master/Testing.md
fixed
This is the source of the seL4 docs.
kent-mcleod opened this issue · comments
It talks about 2.0.x.xml
https://github.com/SEL4PROJ/docs/blob/master/Testing.md
fixed