The boot loader places the debug symbols in the kernel args, and since

we don't want to copy them over to the kernel heap, we just don't free
the kernel args if the debug symbols are enabled - and since there are
no driver settings yet in the kernel, this is always for now.


git-svn-id: file:///srv/svn/repos/haiku/trunk/current@9931 a95241bf-73f2-0310-859d-f6bbb57e9c96

src/kernel/core/main.c

@@ -172,10 +172,16 @@ main2(void *unused)
 	TRACE(("Init modules\n"));
 	module_init(&ka);
 
-	vm_free_kernel_args(&ka);
+	// ToDo: the preloaded image debug data is placed in the kernel args, and
+	//	thus, if they are enabled, the kernel args shouldn't be freed, so
+	//	that we don't have to copy them.
+	//	What is yet missing is a mechanism that controls this (via driver settings).
+	if (0) {
 		// module_init() is supposed to be the last user of the kernel args
 		// Note: don't confuse the kernel_args structure (which is never freed)
 		// with the kernel args ranges it contains (and which are freed here).
+		vm_free_kernel_args(&ka);
+	}
 
 	/* bootstrap all the filesystems */
 	TRACE(("Bootstrap file systems\n"));