update

[l4.git] / l4 / pkg / bootstrap / server / src / startup.cc

diff --git a/l4/pkg/bootstrap/server/src/startup.cc b/l4/pkg/bootstrap/server/src/startup.cc
index d106fe338d381c8b934983328de60a9a02157c62..6aee7c3dcf92745491f4699198e5cfd9ff62313b 100644 (file)
--- a/l4/pkg/bootstrap/server/src/startup.cc
+++ b/l4/pkg/bootstrap/server/src/startup.cc
@@ -179,7 +179,7 @@ void *find_kip()
 
 const char *get_cmdline(l4util_mb_info_t *mbi)
 {
-  if (mbi->flags & L4UTIL_MB_CMDLINE)
+  if (mbi && mbi->flags & L4UTIL_MB_CMDLINE)
     return L4_CHAR_PTR(mbi->cmdline);
 
   if (*builtin_cmdline)