On Fri, 15 Dec 2017 10:33:21 +0300 Leonid Krivoshein wrote:
> 
> 15.12.2017 00:27, Dmitry V. Levin пишет:
> >> linux-tools
> >> linux-tools-3.14
> >> linux-tools-4.1
> >> linux-tools-4.4
> > Прошу прощения, а linux-tools-[34].* действительно надо пересобрать,
> > а не удалить?
> 
> linux-tools за несколько месяцев на моей памяти востребовался дважды, в 
> т.ч. для профилирования на e2k может пригодиться (это лучше уточнить у 
> Андрея).

На e2k я пока что не использую, т.к. нужно приделывать патчи от
МЦСТ, на что пока что нет времени из-за более срочных задач (guile,
ruby). Но утилита важная и со временем будет.

Best regards,
Andrew Savchenko