diff options
| author | Geert Uytterhoeven <geert+renesas@glider.be> | 2018-09-26 04:43:13 -0400 |
|---|---|---|
| committer | Juergen Gross <jgross@suse.com> | 2018-10-24 04:17:16 -0400 |
| commit | af320de90ec864bb78fdbc9c0c3e99f28d1aab0f (patch) | |
| tree | 6f1b7cddc059e798b0bceefc134fc1f6bafb0763 | |
| parent | ea9e57d06e48239e19f67769703aa48554f6648b (diff) | |
xen/balloon: Grammar s/Is it/It is/
Signed-off-by: Geert Uytterhoeven <geert+renesas@glider.be>
Signed-off-by: Juergen Gross <jgross@suse.com>
| -rw-r--r-- | drivers/xen/Kconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/drivers/xen/Kconfig b/drivers/xen/Kconfig index 5ac319b5c880..60c0d1c85613 100644 --- a/drivers/xen/Kconfig +++ b/drivers/xen/Kconfig | |||
| @@ -86,7 +86,7 @@ config XEN_SCRUB_PAGES_DEFAULT | |||
| 86 | help | 86 | help |
| 87 | Scrub pages before returning them to the system for reuse by | 87 | Scrub pages before returning them to the system for reuse by |
| 88 | other domains. This makes sure that any confidential data | 88 | other domains. This makes sure that any confidential data |
| 89 | is not accidentally visible to other domains. Is it more | 89 | is not accidentally visible to other domains. It is more |
| 90 | secure, but slightly less efficient. This can be controlled with | 90 | secure, but slightly less efficient. This can be controlled with |
| 91 | xen_scrub_pages=0 parameter and | 91 | xen_scrub_pages=0 parameter and |
| 92 | /sys/devices/system/xen_memory/xen_memory0/scrub_pages. | 92 | /sys/devices/system/xen_memory/xen_memory0/scrub_pages. |