Frans Kaashoek
Results
5
comments of
Frans Kaashoek
Merged your PR, thanks!
Adopted pr 32
Thanks, fixed.
Thanks for reporting. FYI. We fixed this deadlock on the RISC-V branch (https://github.com/mit-pdos/xv6-riscv/commit/8607051b5fc79fffa319b913b19e99bc5b90e063).