Hi Adam,
Adam Lackorzynski wrote:
- 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:
- 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