From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 26 Aug 2008 03:05:05 +0000 (+0000)
Subject: Reboot when Ctrl+Alt+Del is pressed.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cc5c971c3cc498d528a2f74f4dc2f8e27a690311;hp=cc5c971c3cc498d528a2f74f4dc2f8e27a690311;p=pintos-anon

Reboot when Ctrl+Alt+Del is pressed.

Suggested by Anthony Romano.
Implementation with assistance from and reviewed by Godmar Back.
---