diff options
| author | Geert Uytterhoeven <geert+renesas@glider.be> | 2018-09-26 10:43:13 +0200 |
|---|---|---|
| committer | Juergen Gross <jgross@suse.com> | 2018-10-24 10:17:16 +0200 |
| commit | af320de90ec864bb78fdbc9c0c3e99f28d1aab0f (patch) | |
| tree | 6f1b7cddc059e798b0bceefc134fc1f6bafb0763 /drivers/xen | |
| parent | xen: Make XEN_BACKEND selectable by DomU (diff) | |
| download | linux-af320de90ec864bb78fdbc9c0c3e99f28d1aab0f.tar.xz linux-af320de90ec864bb78fdbc9c0c3e99f28d1aab0f.zip | |
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>
Diffstat (limited to 'drivers/xen')
| -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 help Scrub pages before returning them to the system for reuse by other domains. This makes sure that any confidential data - is not accidentally visible to other domains. Is it more + is not accidentally visible to other domains. It is more secure, but slightly less efficient. This can be controlled with xen_scrub_pages=0 parameter and /sys/devices/system/xen_memory/xen_memory0/scrub_pages. |