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

[Vaibhav Jain]

Hi,

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.

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