Fix disk_write(): interrupt fires *after* write complete, not before.
[pintos-anon] / src / devices / disk.c
2004-08-30 Ben PfaffFix disk_write(): interrupt fires *after* write complet...
2004-08-29 Ben PfaffBetter ID message. Add per-channel mutual exclusion.
2004-08-29 Ben PfaffImplement read/write support.
2004-08-29 Ben PfaffBasic disk detection stuff.
2004-08-29 Ben PfaffInitial un-working code.