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