Hi,<br><br>I want to compile barrelfish for intel SCC.I looked at the getting started article  : <a href="http://wiki.barrelfish.org/Getting_Started">http://wiki.barrelfish.org/Getting_Started</a>.<br>Please tell me how should I use the &#39;scc&#39; target for building . Will replacing x86_32 in the following command line by scc do it all :<br>
<pre>../hake/hake.sh -s .. -a x86_32</pre>Or do I need to do anything else as well.<br><br>Thanks<br>Vaibhav <br><br><br>