Is the L4Linux running as a Fiasco.OC server?

[Matthias Lange]

Hi,

On [06-03-2018 09:20], Zeyu Mi wrote:
> On Tue, Mar 6, 2018 at 7:50 AM, Adam Lackorzynski <adam at os.inf.tu-dresden.de
> > wrote:
> 
> > Hi,
> >
> Hi Adam,
> 
> >
> > On Mon Mar 05, 2018 at 19:47:19 +0800, Zeyu Mi wrote:
> > > I am studying the implementation of the Fiasco.OC and the L4Linux.

[...]

> > Your obvservations are all right, however, 'lp' lists all threads in the
> > system but not tasks (aka address spaces). For listing tasks, use 's',
> > where you will see all the tasks for the Linux user processes.
> >
> I have tried 's' command, but there was alwasy a general protection fault.
> The following is the error
> message.
> 
> KERNEL: Warning: No page-fault handler for 0xfffffffff0400008, error 0x0,
> pc fffffffff000922b
> General Protection (eip=fffffffff0042dc3, err=0000000000000000) -- jdb bug?

I unsuccessfully tried to reproduce the issue. Could you please try
Fiasco.OC's development version from [1] and see whether you still get a GPF?

Thank you,
Matthias.

[1] https://github.com/kernkonzept/fiasco

> 
> There has been a change in model for L4Linux. With the vcpu model there
> > is only one thread (the vcpu) which is moving between the tasks for
> > execution. In the previous thread mode there has been a thread in each
> > user process. Both variants are still available through the L4Linux
> > config.
> >
> Could you kindly tell me how to enable the previous thread mode?
> 
> >
> >
> >
> > Adam
> >
> > _______________________________________________
> > l4-hackers mailing list
> > l4-hackers at os.inf.tu-dresden.de
> > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
> >
> 
> 
> 
> -- 
> Best Regards
> 
> Zeyu Mi

> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers


-- 
Matthias Lange, matthias.lange at kernkonzept.com, +49-351-41 888 614

Kernkonzept GmbH.  Sitz: Dresden.  Amtsgericht Dresden, HRB 31129.
Geschäftsführer: Dr.-Ing. Michael Hohmuth