From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 18 Jan 2005 18:11:11 +0000 (+0000)
Subject: Need to turn off interrupts again after calling into BIOS.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=e5fa957e7b717bde4bf69b28e098448cd545696c

Need to turn off interrupts again after calling into BIOS.
---

diff --git a/src/threads/loader.S b/src/threads/loader.S
index 2bfe1a4..95ef9d9 100644
--- a/src/threads/loader.S
+++ b/src/threads/loader.S
@@ -119,6 +119,7 @@ start:
 	mov ah, 0x88
 	int 0x15
 	jc panic
+	cli			# BIOS might have enabled interrupts
 	add eax, 1024		# Total kB memory
 	cmp eax, 0x10000	# Cap at 64 MB
 	jbe 1f