-
Rodolphe Lepigre authored
This information is already contained in the allocation map. Removing makes it easier to relate to the Cerberus memory model interface.
26e65ba6
This information is already contained in the allocation map. Removing makes it easier to relate to the Cerberus memory model interface.