[Xen-changelog] [xen master] docs: fix xpti command line option doc

[patchbot@xxxxxxx]

commit e38e285a51c805cfeee4693962df23e39b3c3bd7
Author:     Wei Liu <wei.liu2@xxxxxxxxxx>
AuthorDate: Fri May 4 16:08:04 2018 +0100
Commit:     Wei Liu <wei.liu2@xxxxxxxxxx>
CommitDate: Fri May 4 16:21:53 2018 +0100

    docs: fix xpti command line option doc
    
    Signed-off-by: Wei Liu <wei.liu2@xxxxxxxxxx>
    Acked-by: Jan Beulich <jbeulich@xxxxxxxx>
---
 docs/misc/xen-command-line.markdown | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/misc/xen-command-line.markdown 
b/docs/misc/xen-command-line.markdown
index e7a8bd66e7..616dc9d34c 100644
--- a/docs/misc/xen-command-line.markdown
+++ b/docs/misc/xen-command-line.markdown
@@ -1980,7 +1980,7 @@ region of memory being available.
 ### xpti
 > `= List of [ default | <boolean> | dom0=<bool> | domu=<bool> ]`
 
-> Default: `false` on hardware not to be vulnerable to Meltdown (e.g. AMD)
+> Default: `false` on hardware known not to be vulnerable to Meltdown (e.g. 
AMD)
 > Default: `true` everywhere else
 
 Override default selection of whether to isolate 64-bit PV guest page
--
generated by git-patchbot for /home/xen/git/xen.git#master

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/xen-changelog