[Barrelfish-users] need help compiling barrelfish for intel SCC (single chip cloud)

Vaibhav Jain vjoss197 at gmail.com
Sat Sep 3 04:30:10 CEST 2011


I want to compile barrelfish for intel SCC.I looked at the getting started
article  : http://wiki.barrelfish.org/Getting_Started.
Please tell me how should I use the 'scc' target for building . Will
replacing x86_32 in the following command line by scc do it all :

../hake/hake.sh -s .. -a x86_32

Or do I need to do anything else as well.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20110902/c857392f/attachment.html 

More information about the Barrelfish-users mailing list