Donate to e Foundation | Murena handsets with /e/OS | Own a part of Murena! Learn more

Commit fc1c8925 authored by Heinz-Ado Arnolds's avatar Heinz-Ado Arnolds Committed by Ingo Molnar
Browse files

x86: fix reboot problem with Dell Optiplex 745, 0KW626 board 



we have seen a little problem in rebooting Dell Optiplex 745 with the
0KW626 board. Here is a small patch enabling reboot with this board,
which forces the default reboot path it into the BIOS reboot mode.

Signed-off-by: default avatarIngo Molnar <mingo@elte.hu>
Signed-off-by: default avatarThomas Gleixner <tglx@linutronix.de>
parent e215f3c2

arch/x86/kernel/reboot.c

+9 −0
Original line number Diff line number Diff line
@@ -161,6 +161,15 @@ static struct dmi_system_id __initdata reboot_dmi_table[] = { 
			DMI_MATCH(DMI_BOARD_NAME, "0MM599"),

		},

	},

	{       /* Handle problems with rebooting on Dell Optiplex 745 with 0KW626 */

		.callback = set_bios_reboot,

		.ident = "Dell OptiPlex 745",

		.matches = {

			DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),

			DMI_MATCH(DMI_PRODUCT_NAME, "OptiPlex 745"),

			DMI_MATCH(DMI_BOARD_NAME, "0KW626"),

		},

	},

	{	/* Handle problems with rebooting on Dell 2400's */

		.callback = set_bios_reboot,

		.ident = "Dell PowerEdge 2400",