* 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
This commit is contained in:
Axel Dörfler 2011-01-09 13:33:09 +00:00
parent 3ff3d896b2
commit 0e193080f0

View File

@ -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: