Is the L4Linux running as a Fiasco.OC server?

[Zeyu Mi]

Hi all,

I am studying the implementation of the Fiasco.OC and the L4Linux.

I have searched on the Internet and many papers and documents record that
L4Linux runs as an L4 server and
any L4Linux user process is a new task, which has a new page table
different from that of an L4Linux server.

However, the experiment result seems to conflict with those documents. When
I started a new program in the
L4Linux shell and used "lp" command (show present list) in JDB, I noticed
that there was one thread having "vcpu" state.
But the resulted list did not contain any new thread or task which is
related to the new program.

I am very confused and wondering whether or not the implementation recorded
in those papers or documents are wrong or obsolete?

The experiment is based on "l4re-snapshot-2016082114".

Thanks in advance for any explanation.

-- 
Best Regards

Zeyu Mi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20180305/23911ae1/attachment.html>