From: Pablo de Oliveira <pablo@sifflez.org>
Date: Mon, 17 Mar 2014 18:01:59 +0000 (+0100)
Subject: Add ACPI shutdown sequence
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f5fa837e313d018a945eaedd28352e7f24e5b1a6;hp=f5fa837e313d018a945eaedd28352e7f24e5b1a6;p=pintos-anon

Add ACPI shutdown sequence

On QEMU emulator version 1.7.0, the previous shutdown sequence (writing
`shutdown` to 0x8900), is not working properly.

This patch adds support for the ACPI shutdown code which works on qemu
1.7.0 and preserves the old sequence for compatibility.
---