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 | |
| 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')
| -rw-r--r-- | docs/linux/setup_ubuntu-host_qemu-vm_x86-64-kernel.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/linux/setup_ubuntu-host_qemu-vm_x86-64-kernel.md b/docs/linux/setup_ubuntu-host_qemu-vm_x86-64-kernel.md index dfd7f5e3f..c402efcac 100644 --- a/docs/linux/setup_ubuntu-host_qemu-vm_x86-64-kernel.md +++ b/docs/linux/setup_ubuntu-host_qemu-vm_x86-64-kernel.md @@ -21,7 +21,7 @@ gcc-nm gcov-tool x86_64-pc-linux-gnu-gcc-nm Checkout Linux kernel source: ``` bash -git clone https://github.com/torvalds/linux.git $KERNEL +git clone git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git $KERNEL ``` Generate default configs: |