$ 0 0 I could successfully build the drivers with the following option: ./Build -noshm It seems to be a known issue on RedHat Linux.