Also, for anyone with a Windows 10 (Anniversary Edition or above) machine that wants to try this, try the quick PowerShell script I wrote some time back that sets this up for you: https://carlosonunez.wordpress.com/2016/12/01/enable-linux-o...

Also, note that WSL can be disabled via Group Policy, and it is possible that your sysadmins may have done so.