diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-06-29 07:09:01 +0200 |
|---|---|---|
| committer | Andrey Konovalov <andreyknvl@gmail.com> | 2020-06-29 15:28:14 +0200 |
| commit | ce9ef6f2ec1adbf0f9938934a6164507b969aea8 (patch) | |
| tree | 45c65fbca1bc8f81bdf87241c5510ff604c881b6 /docs/linux/kernel_configs.md | |
| parent | 708d6e5be127f435de5f4a8de4c6ccb2857f79b9 (diff) | |
docs/linux: change suggested kernel git repo
Suggest to checkout linux kernel from kernel.org rather than from github.
github is a mirror and we don't use it ourselves and I think it's
generally not used by kernel developers. The kernel.org repo is
the canonical location.
Diffstat (limited to 'docs/linux/kernel_configs.md')
0 files changed, 0 insertions, 0 deletions