Hi,<br>I am trying to build Barrelfish on a system with following configuration:<br>CPU: Intel(R) Core(TM)2 Duo CPU  E7500<br>OS: Ubuntu Lucid<br>GCC: 4.5.2<br>GHC: 6.10.4<br>binutils: 2.21.<br><br>I get the following error while running Hake:<br>
<br>Running hake...<br>../hake/hake.sh: line 142:  2780 Segmentation fault      ./hake/hake --output-filename Makefile --source-dir &quot;$SRCDIR&quot;<br><br>Please let me know if this is a known issue or how I can debug this problem.<br>
<br>Thanks in advance.<br><br>Ashwin<br><br><br>