From dc016cbd5c8054cddda1881c49046950b135f22f Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 17 Nov 2020 08:47:35 +0100
Subject: [PATCH] ldso: log linker-area info on 'ld_verbose'

---
 repos/base/src/lib/ldso/include/region_map.h | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/repos/base/src/lib/ldso/include/region_map.h b/repos/base/src/lib/ldso/include/region_map.h
index cbee34c639..78d2c7033d 100644
--- a/repos/base/src/lib/ldso/include/region_map.h
+++ b/repos/base/src/lib/ldso/include/region_map.h
@@ -28,7 +28,10 @@
 /* local includes */
 #include <linker.h>
 
-namespace Linker { class Region_map; }
+namespace Linker {
+	extern bool verbose;
+	class Region_map;
+}
 
 
 /**
@@ -57,6 +60,11 @@ class Linker::Region_map
 			_base((addr_t)_env.rm().attach_at(_rm.dataspace(), base))
 		{
 			_range.add_range(base, Pd_session::LINKER_AREA_SIZE);
+
+			if (Linker::verbose)
+				log("  ",   Hex(base),
+				    " .. ", Hex(base + Pd_session::LINKER_AREA_SIZE - 1),
+				    ": linker area");
 		}
 
 	public: