Existing documentation discusses how to setup for Linux or a virtual machine. However, in my attempts to get tock running with WSL, I had to do extra stuff not mentioned in the documentation. So I put together a guide on setting tock with WSL in the getting-started.md page, specifically under the Getting the Hardware Connected and Setup section.
These extra steps were required because WSL does not directly recognize USB devices attached to Windows, so we use a separate tool to create a TCP tunnel between Windows and WSL.
Additionally, there was a typo (I think?) I noticed in syscalls.md that I fixed.
Existing documentation discusses how to setup for Linux or a virtual machine. However, in my attempts to get tock running with WSL, I had to do extra stuff not mentioned in the documentation. So I put together a guide on setting tock with WSL in the
getting-started.mdpage, specifically under theGetting the Hardware Connected and Setupsection.These extra steps were required because WSL does not directly recognize USB devices attached to Windows, so we use a separate tool to create a TCP tunnel between Windows and WSL.
Additionally, there was a typo (I think?) I noticed in
syscalls.mdthat I fixed.