abgabe

kernel/syscall/skeleton.cc

@@ -68,6 +68,7 @@ size_t read(Vault &vault, uint32_t id, void *buf, size_t len) {
     size_t read_cnt = 0;
     while(read_cnt <= len){
         Key key;
+        vault.keys_sem.p(vault);
         vault.keys.consume(key);
         if(key.valid())
             ((char*)buf)[read_cnt++] = key.ascii();