Frans Kaashoek

Results 5 comments of Frans Kaashoek

Merged your PR, thanks!

Adopted pr 32

Thanks for reporting. FYI. We fixed this deadlock on the RISC-V branch (https://github.com/mit-pdos/xv6-riscv/commit/8607051b5fc79fffa319b913b19e99bc5b90e063).