<div dir="ltr"><div><div><div><div><div><div>Hi,<br><br></div>On the Terminal issue during booting barrelfish, I did further investigation on the terminal module code and find that an error is being thrown from function<br>
debug_cap_identify(cap_sessionid, &cap); <br>from terminal.c file, <br><br>This function is where it checks for the domain to be part of the
terminal module and it is returning error due to which the
domain is not being set as part of the terminal.<br>This function is defined in debug.c file. I like to understand what does all the functions in debug.c is used for because it is used by all the modules during booting barrelfish.<br>
<br></div>Requesting to help to find why this function is returning error and also to find an alternate method on how to make the domain part of the terminal. We are testing this on an x86_64 architecture. The domain is failing to set for all the modules being spawned during kernel boot process and finally when the fish prompt tries to read from the terminal it gives the assertion "Domain is not part of the Terminal" and the boot process is aborted.<br>
<br></div>Also I like to know how to boot only one instance of barrelfish kernel on a single core in the hardware (this would help for detailed debugging to resolve this issue). Any information on this issue is useful.<br>
<br></div>Please let me know if more info is needed,<br></div>Thanks & Regards<br></div>Vinay<br><div><div><div><div><div><div><div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Jun 6, 2014 at 3:12 PM, Vinay Kumar <span dir="ltr"><<a href="mailto:ms.vinay.k@gmail.com" target="_blank">ms.vinay.k@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div><div><div><div><div><div><div>Hi,<br><br></div>We have been trying to boot barrelfish on our hardware with config, 32 gb ram and 2 quad core AMD Opteron processors,<br>
<br></div>We are able to boot barrelfish on the real hardware and after getting the fish prompt an assertion is triggered "Domain is not part of the terminal" and the boot is aborted.<br>
<br></div>I did some investigation and found that the domain value is set to false in terminal_init function in terminal.c file and it fails in terminal_read function giving the above assertion.<br><br></div>Can anyone please let me know how to make the domain a part of the terminal module?<br>
</div>Please let me know if more info is needed<br><br></div>Thanks<span class=""><font color="#888888"><br></font></span></div><span class=""><font color="#888888">Vinay<br><br></font></span></div>
</blockquote></div><br></div></div></div></div></div></div></div></div></div>