projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ae5cde) | patch
clarify use of timer_sleep or acceptable alternatives for implementing
authorGodmar Back <godmar@gmail.com>
Sat, 4 Nov 2006 20:08:27 +0000 (20:08 +0000)
committerGodmar Back <godmar@gmail.com>
Sat, 4 Nov 2006 20:08:27 +0000 (20:08 +0000)
commita96d2712f349629d7fe2186e2620f1704cbdee50
tree0a6ecea1da42527655d2ce3c951d589bbd036da4tree | snapshot
parent6ae5cde69b8ce2ec34771424c1d7ece7069ec976commit | diff
clarify use of timer_sleep or acceptable alternatives for implementing
write-behind cache flushing.
doc/filesys.texi diff | blob | history
Pintos public repository