[Barrelfish-users] Terminal init issue

Simon Gerber simon.gerber at inf.ethz.ch
Tue Jun 10 19:53:06 CEST 2014

Hi Vinay,

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/serial
module /x86_64/sbin/fish nospawn
module /x86_64/sbin/angler serial0.terminal xterm

Hope this helps,

-- Simon

On 2014-06-10 03:06, Vinay Kumar wrote:
> Hi,
> 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
> useful.
> Please let me know if more info is needed,
> Thanks & Regards
> Vinay
> On Fri, Jun 6, 2014 at 3:12 PM, Vinay Kumar <ms.vinay.k at gmail.com>
> wrote:
>> Hi,
>> 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
>> Thanks
>> Vinay
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users

More information about the Barrelfish-users mailing list