Messages in this thread | ![/](/images/icornerl.gif) | | Date | Fri, 26 Oct 2012 11:32:11 +0200 | From | Ingo Molnar <> | Subject | Re: [PATCH 2/3] x86: ce4100: force reboot method to be KBD |
| |
* Florian Fainelli <ffainelli@freebox.fr> wrote:
> From: Maxime Bizon <mbizon@freebox.fr> > > 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. > > Signed-off-by: Florian Fainelli <ffainelli@freebox.fr> > --- > arch/x86/platform/ce4100/ce4100.c | 3 +++ > 1 file changed, 3 insertions(+) > > diff --git a/arch/x86/platform/ce4100/ce4100.c b/arch/x86/platform/ce4100/ce4100.c > index 74f8774..8c9ed9a 100644 > --- a/arch/x86/platform/ce4100/ce4100.c > +++ b/arch/x86/platform/ce4100/ce4100.c > @@ -21,6 +21,7 @@ > #include <asm/i8259.h> > #include <asm/io.h> > #include <asm/io_apic.h> > +#include <asm/emergency-restart.h> > > static int ce4100_i8042_detect(void) > { > @@ -144,6 +145,8 @@ void __init x86_ce4100_early_setup(void) > x86_init.mpparse.find_smp_config = x86_init_noop; > x86_init.pci.init = ce4100_pci_init; > > + reboot_type = BOOT_KBD;
Here too put a minimal comment into the code:
/* * The system default is ACPI reboot, but that powers * off on CE4100 so the use KBD reset instead: */ reboot_type = BOOT_KBD;
Thanks,
Ingo
| ![\](/images/icornerr.gif) |