Maxime Bizon d795991602 x86/ce4100: Fix reboot by forcing the reboot method to be KBD ... The default reboot is via ACPI for this platform, and the CEFDK bootloader actually supports this, but will issue a system power off instead of a real reboot. Setting the reboot method to be KBD instead of ACPI ensures proper system reboot. Acked-by: Sebastian Andrzej Siewior <bigeasy@linutronix.de> Signed-off-by: Maxime Bizon <mbizon@freebox.fr> Signed-off-by: Florian Fainelli <ffainelli@freebox.fr> Cc: rui.zhang@intel.com Cc: alan@linux.intel.com Link: http://lkml.kernel.org/r/1351518020-25556-3-git-send-email-ffainelli@freebox.fr Signed-off-by: Ingo Molnar <mingo@kernel.org>		2012-10-30 10:16:46 +01:00
..
ce4100.c	x86/ce4100: Fix reboot by forcing the reboot method to be KBD	2012-10-30 10:16:46 +01:00
falconfalls.dts	gpio: Add a driver for Sodaville GPIO controller	2012-02-03 16:13:25 -07:00
Makefile	x86: Add CE4100 platform support	2010-11-12 00:45:41 +01:00