[Barrelfish-users] Declaration of struct capability
licai at pku.edu.cn
Thu Nov 28 05:16:41 CET 2013
----- Jintack Lim <jintack.lim at utah.edu> wrote:
> 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?
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:
../hake/hake.sh -a x86_64 -s .. -i .
Then you can find the declaration of struct capability in file build/x86_64/include/barrelfish_kpi/capbits.h
More information about the Barrelfish-users