From 0e193080f0d6fb373cb064f84efa79fbc1905a06 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Axel=20D=C3=B6rfler?= <axeld@pinc-software.de>
Date: Sun, 9 Jan 2011 13:33:09 +0000
Subject: [PATCH] * Followed suggestion by Michael Pfeiffer, and always set the
 original BIOS   drive number before reset.

git-svn-id: file:///srv/svn/repos/haiku/haiku/trunk@40177 a95241bf-73f2-0310-859d-f6bbb57e9c96
---
 src/apps/bootmanager/bootman.S | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/apps/bootmanager/bootman.S b/src/apps/bootmanager/bootman.S
index 263913338c..54a12c32ab 100644
--- a/src/apps/bootmanager/bootman.S
+++ b/src/apps/bootmanager/bootman.S
@@ -571,7 +571,7 @@ printAndHalt:
 	call	printstr
 	mov		ah, READ_CHAR
 	int		BIOS_KEYBOARD_SERVICES
-	mov		dl, 0x80
+	mov		dl, [bp + biosDrive]
 	int		BIOS_REBOOT
 
 ; Output: