There's a typo in line 160 in keyboard.c: static char makes[MAKES_BLEN + 1 * 2]; should be: static char makes[MAKES_BLEN * 2 + 1]; or even: static char makes[MAKES_BLEN * 2 - 1];This may cause severe problems. I recommend not to use kernels with this error.
There is a good chance that this also causes eiffel-bug. I've committed the fix to my branch. -- Helmut Karlowski