diff -ru tempura/stomach/ChangeLog ../tempura/stomach/ChangeLog
--- tempura/stomach/ChangeLog	2005-06-25 03:15:35.000000000 +0000
+++ ../tempura/stomach/ChangeLog	2005-06-25 15:45:46.000000000 +0000
@@ -1,3 +1,10 @@
+2005-06-25  Gianluca Guida  <glguida@gmail.com>
+
+	* oskitcom/objs/mach_osenv_synch.c (irq_alloc): Set interrupts at
+	SPL6 instead of SPL7
+
+	* Makefile.in (kernel.o): Added '$(srcdir)' before each '../'.
+
 2005-06-16  Gianluca Guida  <glguida@gmail.com>
 
 	* configure.in: Don't check the OS to be GNU.
diff -ru tempura/stomach/Makefile.in ../tempura/stomach/Makefile.in
--- tempura/stomach/Makefile.in	2005-06-25 03:19:20.000000000 +0000
+++ ../tempura/stomach/Makefile.in	2005-06-25 15:02:29.000000000 +0000
@@ -323,7 +323,7 @@
 #	@rm -f $@
 #	$(AR) cq $@ $^
 kernel.o: $(objfiles) # kernel.a
-	$(LD) -r -o $@ $^ ../oskit/com/oskit_bufio_iid.o ../oskit/com/oskit_etherdev_iid.o ../oskit/com/oskit_netdev_iid.o ../oskit/com/oskit_netio_iid.o ../oskit/com/oskit_skbufio_iid.o ../oskit/lib/liboskit_linux_dev.a ../oskit/lib/liboskit_diskpart.a
+	$(LD) -r -o $@ $^ $(srcdir)/../oskit/com/oskit_bufio_iid.o $(srcdir)/../oskit/com/oskit_etherdev_iid.o $(srcdir)/../oskit/com/oskit_netdev_iid.o $(srcdir)/../oskit/com/oskit_netio_iid.o $(srcdir)/../oskit/com/oskit_skbufio_iid.o $(srcdir)/../oskit/lib/liboskit_linux_dev.a $(srcdir)/../oskit/lib/liboskit_diskpart.a
 kernel-undef: kernel.o
 	$(NM) -u $< | sed 's/  *U  *//;s/^_*//' | sort -u > $@
 kernel-undef-bad: kernel-undef Makefile
diff -ru tempura/stomach/oskitcom/objs/mach_osenv_synch.c ../tempura/stomach/oskitcom/objs/mach_osenv_synch.c
--- tempura/stomach/oskitcom/objs/mach_osenv_synch.c	2005-06-14 02:02:41.000000000 +0000
+++ ../tempura/stomach/oskitcom/objs/mach_osenv_synch.c	2005-06-25 15:01:07.000000000 +0000
@@ -228,7 +228,7 @@
   oskitcom_irq_status[irq] = _IRQ_ENABLED;
 
   ivect[irq] = (int (*)())_osenv_handler;
-  intpri[irq] = SPL7;
+  intpri[irq] = SPL6;
   iunit[irq] = irq;
 
   oskitcom_saveirq (irq);