kern/bootstrap: fix locking

* kern/bootstrap.c (boot_script_exec_cmd): Add missing unlock.
(user_bootstrap): Likewise.

1 files changed, 2 insertions, 0 deletions

diff --git a/kern/bootstrap.c b/kern/bootstrap.c
index e70e1f6..50388ad 100644
--- a/kern/bootstrap.c
+++ b/kern/bootstrap.c
@@ -735,6 +735,7 @@ boot_script_exec_cmd (void *hook, task_t task, char *path, int argc,
 	  thread_sleep ((event_t) &info, simple_lock_addr(info.lock), FALSE);
 	  simple_lock (&info.lock);
 	}
+      simple_unlock (&info.lock);
       printf ("\n");
     }
 
@@ -769,6 +770,7 @@ static void user_bootstrap(void)
   simple_lock (&info->lock);
   assert (!info->done);
   info->done = 1;
+  simple_unlock (&info->lock);
   thread_wakeup ((event_t) info);
 
   /*