<div dir="ltr"><div>Thanks, Richard.</div><div><br></div><div>Even though my build is not successful because of error below, I got the capbits.h file!</div><div><br></div><div><div>./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 </div>
<div>Generating x86_64/lib/posixcompat/_for_lib_posixcompat/write.o.depend</div><div><b>../include/term/server/server.h:22:30: fatal error: if/terminal_defs.h: No such file or directory</b></div><div>compilation terminated.</div>
<div>make: *** [x86_64/lib/posixcompat/_for_lib_posixcompat/write.o.depend] Error 1</div></div><div><br></div><div>Jintack</div><div><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Nov 27, 2013 at 9:16 PM, Richard <span dir="ltr">&lt;<a href="mailto:licai@pku.edu.cn" target="_blank">licai@pku.edu.cn</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5">----- Jintack Lim &lt;<a href="mailto:jintack.lim@utah.edu">jintack.lim@utah.edu</a>&gt; wrote:<br>

&gt; Hi,<br>
&gt;<br>
&gt; I&#39;m a first year Ph.D student at University of Utah.<br>
&gt; While I&#39;m looking at the source code of barrelfish,<br>
&gt; I could not find some declaration of struct such as capability.<br>
&gt;<br>
&gt; Can you tell me where it is?<br>
&gt;<br>
&gt; Thanks<br>
&gt; Jintack<br>
<br>
</div></div>Hi Jintack:<br>
<br>
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:<br>
mkdir build<br>
cd build<br>
../hake/hake.sh -a x86_64 -s .. -i .<br>
make<br>
<br>
Then you can find the declaration of struct capability in file build/x86_64/include/barrelfish_kpi/capbits.h<br>
</blockquote></div><br></div>