L4Linux stub drivers & L4 drivers

[Alexander Valitov]

Hi Adam,

Adam Lackorzynski wrote:
> 
>> 5. And L4_PDSPBLK_DRV?
> 
> It's block driver for a backend server that works on (memory) dataspaces.
> 

Do you mean it is a kind of loop device which gives access to memory
treating memory contents as a block device sectors? And memory is provided
by dataspace manager with dm_mem or dm_generic interface?
Is there corresponding L4 server available?


Adam Lackorzynski wrote:
> 
>> 6. And L4_FB_DRIVER_XF86IF?
> 
> The counterpart to Xorg driver in the l4con package.
> 

Is it needed to be turned on if I'd like to start X11 server when l4con or
dope is used?
Is it bridge between l4fb and X11 server?

There is another option that looks pretty interesting for me. It is
CONFIG_L4_USE_L4VMM. I discovered it here:
L4Linux configuration->Advanced options->Use L4VMM
Help says: L4VMM can emulate hardware and provide access to virtual and
physical host devices. For PCI, enable PCI support (choose direct access
mode) and the required device drivers.
Could you please tell me what is it intended for?

Alexander Valitov
-- 
View this message in context: http://www.nabble.com/L4Linux-stub-drivers---L4-drivers-tp21852355p22040107.html
Sent from the L4 mailing list archive at Nabble.com.