On Thu, 25 Jan 2018 19:58:39 +0100, Ralf Mardorf wrote:
>On Thu, 25 Jan 2018 16:17:06 +0100, Sebastian Andrzej Siewior wrote:
>>I'm pleased to announce the v4.14.15-rt12 patch set.
>
>Does performance differ when booting 4.14.15-rt11 with or without
>nopti? ^^^^
^^^^
Oops, this should read
rt12 ;).
--
To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
