On Tue, Dec 22, 2015 at 2:51 PM, Sebastian Andrzej Siewior
<bigeasy@xxxxxxxxxxxxx> wrote:
> You could try without CONFIG_RESOURCE_COUNTERS or switch to v4.1 instead
> since it has the file in question removed as per 5b1efc027c0b ("kernel:
> res_counter: remove the unused API").
Yup, 4.1 does not show this behaviour.
Thanks.
Christoph
--
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
