Step 4: Dump memory usage of L4 tasks

There is also an L⁴Linux task which dumps the memory map of the simple_dm data space manager:

./dump-ds 0

Note:

The "0" argument of dump-ds means to dump the data spaces of all tasks. Alternate, we could request memory information about a specific L4 task by passing it's task number.

We get the following (or similar) output:

  148: size=00001000 (       4KB,    0MB) owner= 16.00 name="l4loader_info ds"
  147: size=00001000 (       4KB,    0MB) owner= 17.03 name="libc heap"
  146: size=00010000 (      64KB,    0MB) owner= 17.03 name="L4thread stack"
  145: size=00010000 (      64KB,    0MB) owner= 17.02 name="libc heap"
  
  ...

===========================================================
 total size 04983000 (   75276KB,    0MB)