On 09/19/2016 11:29 AM, Jan Beulich wrote:
On 14.09.16 at 19:37, wrote:
>> --- a/docs/misc/xen-command-line.markdown
>> +++ b/docs/misc/xen-command-line.markdown
>> @@ -270,7 +270,9 @@ If set, override Xen's default choice for the platform
>> timer.
>> Having TSC as platform timer require
>>> On 14.09.16 at 19:37, wrote:
> --- a/docs/misc/xen-command-line.markdown
> +++ b/docs/misc/xen-command-line.markdown
> @@ -270,7 +270,9 @@ If set, override Xen's default choice for the platform
> timer.
> Having TSC as platform timer requires being explicitly set. This is because
> TSC can