Re: [arch-general] most efficient way to get linux kernel statistics