diff options
| -rw-r--r-- | src/arch/i386/interface/pcbios/int13.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/arch/i386/interface/pcbios/int13.c b/src/arch/i386/interface/pcbios/int13.c index 27a033b3b..0205d3661 100644 --- a/src/arch/i386/interface/pcbios/int13.c +++ b/src/arch/i386/interface/pcbios/int13.c @@ -646,6 +646,7 @@ int int13_boot ( unsigned int drive ) { "pushw $0\n\t" "popw %%es\n\t" "stc\n\t" + "sti\n\t" "int $0x13\n\t" "sti\n\t" /* BIOS bugs */ "jc 1f\n\t" |