xv6-riscv-rust

Author	SHA1	Message	Date
Frans Kaashoek	67702cf706	Checkpoint switching to per-process locks, in attempt clarify xv6's locking plan, which is a difficult to understand because ptable lock protects many invariants. This implementation has a bug: once in a while xv6 unlocks a proc lock that is locked by another core.	2019-07-02 09:14:47 -04:00
Robert Morris	5753553213	separate source into kernel/ user/ mkfs/	2019-06-11 09:57:14 -04:00