Race condition in fserv.c?
race condition between avl_tree_unlock(pending_tree) and thread_cond_wait(&fserv_cond) in fserv.c, it's a pain to fix but should be.
Found in the TODO, still relevant?
To upload designs, you'll need to enable LFS. More information