[Barrelfish-users] need help compiling barrelfish for intel SCC (single chip cloud)
stefan.kaestle at inf.ethz.ch
Sat Sep 3 13:26:28 CEST 2011
you should especially read section 2.3 of the SCC tech note. It
describes the scc target of the Makefile.
Just call "make scc" instead of make to build the kernel after executing
On Sat, 2011-09-03 at 10:42 +0200, Raphael Fuchs wrote:
> Hi Vaibhav,
> To create the Makefile for SCC you can use
> ../hake/hake.sh -s .. -a scc
> This target is not mentioned in the wiki article.
> If you compile on an x86_64 machine you may also have to install
> gcc-multilib, otherwise you get a compile error.
> btw. The Technical Note 005, which you find on
> http://barrelfish.org/TN-005-SCC.pdf , gives you some insight into
> running Barrelfish on SCC.
> On 03/09/11 04:30, Vaibhav Jain wrote:
> > 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
> > _______________________________________________
> > Barrelfish-users mailing list
> > Barrelfish-users at lists.inf.ethz.ch
> > https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
> Raphael Fuchs
> Bergstrasse 139
> 5075 Hornussen
> raphaelfuchs at student.ethz.ch
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
More information about the Barrelfish-users