From: Godmar Back <godmar@gmail.com>
Date: Sat, 4 Nov 2006 20:08:27 +0000 (+0000)
Subject: clarify use of timer_sleep or acceptable alternatives for implementing
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a96d2712f349629d7fe2186e2620f1704cbdee50;hp=a96d2712f349629d7fe2186e2620f1704cbdee50;p=pintos-anon

clarify use of timer_sleep or acceptable alternatives for implementing
write-behind cache flushing.
---