Measuring memory allocation of default firmware

[Raghav Kapoor]

Hello, 

I'm trying to find the memory allocated by the default firmware, but I'm not sure where to find that information. For micro-C or P4 code that we write, I understand that we can find the memory allocation for the code via the memory mapping file generated by the linker, but I haven't been able to find a memory mapping file for the default firmware. I also tried playing around with some of the other command-line tools, like nfp, nfp-mem, nfp-reg, etc., but I haven't had any luck with them. I would appreciate advice on how I can find the memory allocation info. for the default firmware. 

Thank you.