From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 9 Nov 2008 19:41:18 +0000 (-0800)
Subject: Move reboot() and power_off() to new file, and rename to fit convention.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;ds=inline;h=a4e60364ebf69203297ce071914671d2b49d9b6d;hp=a4e60364ebf69203297ce071914671d2b49d9b6d;p=pintos-anon

Move reboot() and power_off() to new file, and rename to fit convention.
---