startup: insert the kernel name in its commande line

This cosmetic change sets argv[0] to "gnumach", making it easier to
identify the kernel process.

* startup/startup.c (frob_kernel_process): Insert "gnumach" at the start
of the kernel command line arguments.

1 files changed, 2 insertions, 0 deletions

diff --git a/startup/startup.c b/startup/startup.c
index 2eba5636..913742c1 100644
--- a/startup/startup.c
+++ b/startup/startup.c
@@ -994,6 +994,8 @@ frob_kernel_process (void)
 
   err = argz_create (&global_argv[1], &argz, &argzlen);
   assert_perror (err);
+  err = argz_insert (&argz, &argzlen, argz, "gnumach");
+  assert_perror (err);
   argc = argz_count (argz, argzlen);
 
   windowsz = round_page (((argc + 1) * sizeof (char *)) + argzlen);