[Barrelfish-users] Terminal init issue
simon.gerber at inf.ethz.ch
Tue Jun 10 19:53:06 CEST 2014
Can you check whether you use the correct version of menu.lst? We merged
a new terminal subsystem a couple months back which changes how the
serial driver / terminal subsystem and their clients are started. As a
quick reference, here's the new set of lines needed in menu.lst:
# General user domains
module /x86_64/sbin/fish nospawn
module /x86_64/sbin/angler serial0.terminal xterm
Hope this helps,
On 2014-06-10 03:06, Vinay Kumar wrote:
> 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
> debug_cap_identify(cap_sessionid, &cap);
> from terminal.c file,
> 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.
> 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.
> 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.
> 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
> Please let me know if more info is needed,
> Thanks & Regards
> On Fri, Jun 6, 2014 at 3:12 PM, Vinay Kumar <ms.vinay.k at gmail.com>
>> We have been trying to boot barrelfish on our hardware with config,
>> 32 gb ram and 2 quad core AMD Opteron processors,
>> 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.
>> 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.
>> Can anyone please let me know how to make the domain a part of the
>> terminal module?
>> Please let me know if more info is needed
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
More information about the Barrelfish-users