scratch/igc 6ed50571faf 1/3: Mention headers in pdump

[Gerd Moellmann]

branch: scratch/igc
commit 6ed50571faf027cdfbf802c941aa342a17b2b52a
Author: Gerd Möllmann <gerd@gnu.org>
Commit: Gerd Möllmann <gerd@gnu.org>

    Mention headers in pdump
---
 admin/igc.org | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/admin/igc.org b/admin/igc.org
index c919adb2b3e..6612cb47245 100644
--- a/admin/igc.org
+++ b/admin/igc.org
@@ -92,6 +92,7 @@ special vectors allocated from the AWL pool.
 
 ** Handling of a loaded pdump
 
+
 The hot part of a loaded pdump (ca. 18 MB) is currently used as an
 ambiguous root for MPS. A number of things could be investigated
 
@@ -109,6 +110,10 @@ ambiguous root for MPS. A number of things could be 
investigated
 
   Costs some load time, though.
 
+- Store objects in the dump with igc_header, so that we can make the
+  dump an exact root. This would simplify things enormously. My
+  favourite.
+
 There is also a slight problem currently that's a consequence of Emacs
 mixing GC'd objects and malloc'd ones. The loaded dump is scanned
 conservativly, but if such objects contain malloc'd data structures