f9micro / f9-kernel

An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
Other
683 stars 145 forks source link

kdb: Change dump_mempool output format #137

Closed louisom closed 8 years ago

louisom commented 8 years ago

Minor change for dump_mempool output format, Add "id" field and align name field size to 20.

Because stm32f429 will define some long name memmory region in mempool, thus when we dump out mempool from kdb, it will not align:

## KDB ##
-------MEMPOOLS------
NAME       SIZE       [START   :END     ] FLAGS
KTEXT           16992 [08001000:08005260] r-x --- N
UTEXT            4864 [20004500:20005800] --- r-x M
...
APB2_3DEV        3072 [40015000:40015c00] --- rw- D
APB2_4DEV        4352 [40016800:40017900] --- rw- D
CR_PLLSAION_BB       3072 [42470000:42470c00] --- rw- D
LCD_FRAME_BUFFER_1     655360 [d0000000:d00a0000] --- rw- D
LCD_FRAME_BUFFER_2     655360 [d00a0000:d0140000] --- rw- D

This patch will add "ID" field, and align name field size to 20:

## KDB ##
-------MEMPOOLS------
ID NAME                 SIZE       [START   :END     ] FLAGS
 0 KTEXT                     17020 [08001000:0800527c] r-x --- N
 1 UTEXT                      4864 [20004500:20005800] --- r-x M
...
18 APB2_4DEV                  4352 [40016800:40017900] --- rw- D
19 CR_PLLSAION_BB             3072 [42470000:42470c00] --- rw- D
20 LCD_FRAME_BUFFER_1       655360 [d0000000:d00a0000] --- rw- D
21 LCD_FRAME_BUFFER_2       655360 [d00a0000:d0140000] --- rw- D