rodrigc@gcc.gnu.org writes: > Does this patch help? > > http://gcc.gnu.org/ml/gcc-patches/2001-11/msg00698.html Indeed it does help. With this patch applied, the code compiles without a problem and produces a kernel that seems to run without any problems (Linux 2.4.14-pre6 - hot off the presses). Thanks for your help! -Jer