Index: kernel/arch/ia64/src/start.S
===================================================================
--- kernel/arch/ia64/src/start.S	(revision 18ba2e4f567902114e46f652598ce0289af8fe72)
+++ kernel/arch/ia64/src/start.S	(revision b0f00a9ed1b00bda8a286a4c4bbe625a7f410bc6)
@@ -156,4 +156,13 @@
 	 * Now we are paging.
 	 */
+
+	#
+	# Set Interruption Vector Address
+	# (i.e. location of interruption vector table)
+	#
+	movl r8 = ivt ;; 
+	mov cr.iva = r8
+	srlz.d ;;	
+
 	
 	# Switch to register bank 1
@@ -165,7 +174,7 @@
 	mov ar.bspstore = r8
 	loadrs
-	
-	#
-	# Initialize memory stack to some sane value and allocate a scratch are
+
+	#
+	# Initialize memory stack to some sane value and allocate a scratch area
 	# on it.
 	#
@@ -187,5 +196,5 @@
 	srlz.i
 	srlz.d ;;
-	
+
 	br.call.sptk.many b0 = arch_pre_main
 0: