Is the L4Linux running as a Fiasco.OC server?

Adam Lackorzynski adam at os.inf.tu-dresden.de
Thu Mar 8 01:14:45 CET 2018


On Wed Mar 07, 2018 at 15:50:24 +0800, Zeyu Mi wrote:
> Sorry for bothering you again...
> 
> I have changed to snapshot-17.09 and the "s" command works normally.
> 
> I also disabled the VCPU thread model in the L4Linux config and it can be
> compiled
> without any error :)
> 
> However, the L4Linux keeps reporting the following error message if running
> in QEMU.
> 
> Non-resolvable page fault at b300b308, ip 6454e6.
> Page fault (non-resolved): pfa=b300b308 pc=6454e6
> Non-resolvable page fault at b300b308, ip 6454e6.
> Die message: Trap: 14
> Non-resolvable page fault at b300b308, ip 205390.
> Page fault (non-resolved): pfa=b300b308 pc=205390
> Non-resolvable page fault at b300b308, ip 205390.
> Die message: Trap: 14
> 
> If running on the real hardware (a Skylake machine), it keeps reporting the
> following message.
> 
> L4x: Main thread running, waiting...
> Die message: Trap: 6
> Die message: Trap: 6
> Die message: Trap: 6
> Die message: Trap: 6
> Die message: Trap: 6
> Die message: Trap: 6

That's strange. What are you running inside L4Linux?
What's also interesting is that on QEMU there are page-faults and on
hardware trap6.
For my setups, all looks fine.

> > BTW, is it possible to enable the previous thread model and SMP in the
> > L4Linux simultaneously?

Not really as this has some issues, it might work (with hickups).



Adam



More information about the l4-hackers mailing list