andre pedrazzini wrote:

>> I can see some useful info by opening
>> "sam - performance monitors - system properties".
>> Now I would like to get the same info from the command line.
>> Could anyone suggest me ready-made script to get it ?
>> I see that everybody should extract it by debugger out of
>> kernel image, but I hope I would not need to dive my own
>> hands into that.

> how about
>
> # print_manifest

Ooh, thank you a lot, that's exactly what I wanted.