[Barrelfish-users] Declaration of struct capability

Jintack Lim jintack.lim at utah.edu
Thu Nov 28 05:55:58 CET 2013


Thanks, Richard.

Even though my build is not successful because of error below, I got the
capbits.h file!

./tools/bin/flounder -i ../if/platform/x86_64.if -i ../if/arch/x86_64.if -i
../if/types.if --thc-header ../if/octopus.if
./x86_64/include/if/octopus_thc.h
Generating x86_64/lib/posixcompat/_for_lib_posixcompat/write.o.depend
*../include/term/server/server.h:22:30: fatal error: if/terminal_defs.h: No
such file or directory*
compilation terminated.
make: *** [x86_64/lib/posixcompat/_for_lib_posixcompat/write.o.depend]
Error 1

Jintack



On Wed, Nov 27, 2013 at 9:16 PM, Richard <licai at pku.edu.cn> wrote:

> ----- Jintack Lim <jintack.lim at utah.edu> wrote:
> > Hi,
> >
> > I'm a first year Ph.D student at University of Utah.
> > While I'm looking at the source code of barrelfish,
> > I could not find some declaration of struct such as capability.
> >
> > Can you tell me where it is?
> >
> > Thanks
> > Jintack
>
> Hi Jintack:
>
> The declaration of struct capability is generated by Hamlet while
> compiling the barrelfish source code. You can do the following steps to
> compile barrelfish source code:
> mkdir build
> cd build
> ../hake/hake.sh -a x86_64 -s .. -i .
> make
>
> Then you can find the declaration of struct capability in file
> build/x86_64/include/barrelfish_kpi/capbits.h
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20131127/50641189/attachment.html 


More information about the Barrelfish-users mailing list