Patch10000: linux-2.6-10000-gcc-4.5.patch
Patch10001: linux-2.6-10001-gcc-4.6-warnoff.patch
Patch10002: linux-2.6-10002-gcc-4.6-sense_buffer.patch
-Patch11000: linux-2.6-11000-gcc-4.6.patch
+Patch11000: linux-2.6-10003-gcc-4.6-vdso.patch
# empty final patch file to facilitate testing of kernel patches
Patch999999: linux-kernel-test.patch
ApplyPatch linux-2.6-10000-gcc-4.5.patch
ApplyPatch linux-2.6-10001-gcc-4.6-warnoff.patch
ApplyPatch linux-2.6-10002-gcc-4.6-sense_buffer.patch
-ApplyPatch linux-2.6-11000-gcc-4.6.patch
+ApplyPatch linux-2.6-10003-gcc-4.6-vdso.patch
#### Planet-Lab ####
ApplyOptionalPatch linux-kernel-test.patch