Windows Subsystem for Linux Free Microsoft tool that runs Linux on Windows 10 without dual booting 247 MB Official file