aboutsummaryrefslogtreecommitdiffstats
path: root/docs/linux
diff options
context:
space:
mode:
Diffstat (limited to 'docs/linux')
-rw-r--r--docs/linux/setup.md2
-rw-r--r--docs/linux/setup_linux-host_qemu-vm_arm64-kernel.md2
-rw-r--r--docs/linux/setup_linux-host_qemu-vm_riscv64-kernel.md2
3 files changed, 3 insertions, 3 deletions
diff --git a/docs/linux/setup.md b/docs/linux/setup.md
index 0c9b4fe4c..c77d5a6f3 100644
--- a/docs/linux/setup.md
+++ b/docs/linux/setup.md
@@ -65,7 +65,7 @@ Make sure that your GCC meets this requirement, or get a GCC that [syzbot](/docs
### Linux Kernel
Besides coverage support in GCC, you also need support for it on the kernel side.
-KCOV was added into mainline Linux kernel in version 4.6 and is be enabled by `CONFIG_KCOV=y` kernel configation option.
+KCOV was added into mainline Linux kernel in version 4.6 and is be enabled by `CONFIG_KCOV=y` kernel configuration option.
For older kernels you need to at least backport commit [kernel: add kcov code coverage](https://github.com/torvalds/linux/commit/5c9a8750a6409c63a0f01d51a9024861022f6593).
Besides that, it's recommended to backport all kernel patches that touch `kernel/kcov.c`.
diff --git a/docs/linux/setup_linux-host_qemu-vm_arm64-kernel.md b/docs/linux/setup_linux-host_qemu-vm_arm64-kernel.md
index 238620409..e89bdf2e4 100644
--- a/docs/linux/setup_linux-host_qemu-vm_arm64-kernel.md
+++ b/docs/linux/setup_linux-host_qemu-vm_arm64-kernel.md
@@ -32,7 +32,7 @@ Choose the following options.
Run `make`. After the build, confirm that `output/images/rootfs.ext3` exists.
-If you're expreriencing a very slow sshd start up time with arm64 qemu running on x86, the reason is probably low entropy and it be "fixed" with installing `haveged`. It can be found in the buildroot `menuconfig`:
+If you're experiencing a very slow sshd start up time with arm64 qemu running on x86, the reason is probably low entropy and it be "fixed" with installing `haveged`. It can be found in the buildroot `menuconfig`:
```
Target packages
diff --git a/docs/linux/setup_linux-host_qemu-vm_riscv64-kernel.md b/docs/linux/setup_linux-host_qemu-vm_riscv64-kernel.md
index 491a592ab..f6e7ca751 100644
--- a/docs/linux/setup_linux-host_qemu-vm_riscv64-kernel.md
+++ b/docs/linux/setup_linux-host_qemu-vm_riscv64-kernel.md
@@ -25,7 +25,7 @@ make ARCH=riscv CROSS_COMPILE=riscv64-linux-gnu- -j $(nproc)
# OpenSBI
-Clone the OpenSBI repository and build the bootable OpenSBI image containg the kernel:
+Clone the OpenSBI repository and build the bootable OpenSBI image containing the kernel:
```shell
git clone https://github.com/riscv/opensbi