Do you talk about L4Linux programs or native L4 applications?
Well i'm sorry if i wasn't clear, i talk of native L4 applications.
For examples i'd like to see the amount of memory used by the fiasco kernel or the log server or the loader,etc ..
for L4 applications the dm_phys server provides some debugging/statistical routines (e.g., l4dm_ds_dump()). IIRC "run" uses this function.
Thanx, i have just noticed examples like dump-ds in the l4 package but of course dm_phys can't provide me informations about tasks that doesn't rely on l4env.
I think other tasks directly get their memory from sigma0 with rmgr so maybe i should ask one of them but i don't know if it is possible and i don't know how to do that.
Thanx a lot for your help
Fabien Chaillou