From: Ben Pfaff Date: Tue, 6 Feb 2007 21:09:10 +0000 (+0000) Subject: Improve example for "Can a thread's priority change while it is on the X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=695e26795ff43edb514abd99e566d1eee32194d6;hp=695e26795ff43edb514abd99e566d1eee32194d6;p=pintos-anon Improve example for "Can a thread's priority change while it is on the ready queue?" FAQ. From Godmar Back. ---