--- a/devices/update.sh	Tue Oct 28 13:31:05 2014 +0100
+++ b/devices/update.sh	Tue Oct 28 15:44:36 2014 +0100
@@ -2,9 +2,9 @@
 
 set -x
 
-KERNELDIR=/data/kernel/linux-3.8.13
-PREVER=3.6
-KERNELVER=3.8
+KERNELDIR=/data/kernel/linux-3.10.47
+PREVER=3.8
+KERNELVER=3.10
 
 for f in $KERNELDIR/drivers/net/ethernet/{realtek/8139too,realtek/r8169,intel/e100}.c; do
     echo $f
@@ -17,4 +17,5 @@
     op=${b/\./-$PREVER-orig.}
     ep=${b/\./-$PREVER-ethercat.}
     diff -u $op $ep | patch -p1 $e
+    hg add $o $e
 done