Hi, On 02/04/2016 04:03 PM, Ahmed Makkawi wrote:

Hi all,

in the L4Linux menuconfig, there is an option saying :

[ ] make linux be a server

Could someone explain to me what this feature does exactly ?

This means that L4Linux offers an L4Re interface to provide services to other L4Re clients. One example is the input server where L4Linux drives USB input devices and sends the input events to an L4Re event server, e.g. mag. Matthias.