search

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
Other
70 stars 37 forks source link

Make use of pyenv consistent in README #42

Closed Ivan-Velickovic closed 9 months ago

Ivan-Velickovic commented 9 months ago

All the other commands use ./pyenv instead of ./env so when copy+pasting the commands to run it breaks the flow,