On Tue, Jan 29, 2013 at 11:40:46PM -0600, H. Peter Anvin wrote: > The right thing to do as I have discussed with the people involved is to > modify the memory map data structure to have a new memory type ID for > memory which is to be dumped. That eliminates the need to put all this > info into the command line. Thanks. I apologise for not following the conversation more closely.
