diff options
| author | reo <121529845+reodoth@users.noreply.github.com> | 2023-01-04 22:59:59 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-04 22:59:59 +0000 |
| commit | 66341aa073c2029702e3398963a099d5777cd760 (patch) | |
| tree | 52d52928a3aea29206e0e2bcd1137f95caac8b15 /README.md | |
| parent | df4e18726cf26a4baf44dd23ffc4009d37fb03da (diff) | |
Update README.md
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 9 |
1 files changed, 7 insertions, 2 deletions
@@ -1,9 +1,14 @@ if on wsl: - `cp Makefile-wsl Makefile` +\ +`cp Makefile-wsl Makefile` +\ then clone the WSL kernel, build it and set $WSLKERN to the kernel folder + if on linux: - `cp Makefile-linux Makefile` +\ +`cp Makefile-linux Makefile` + ``` make |