Using IO-Server

[Martin Schröder]

Hi Korbinian,



Am 12.09.2014 um 13:44 schrieb Korbinian Ederer:
> Hi,
> Thanks for the resources.
> The given Documents are describing the use of th *.io and *.cfg files, this is also documented in L4 Doc.
> My question now is how to access the configured Device in Server Code.

then continue with this example:
/src/l4linux/arch/l4/kernel/arch-arm/mach_setup.c

In copy_platform_device you can see how the IO resources (IRQ, MEM, IO) are enumerated. Also search for the functions 
l4io_lookup_resource and l4io_request_iomem to see how this is mapped in your address. The rest is up to your driver.

Best regards,
    Martin.


> Am 10.09.2014 um 15:33 schrieb Martin Schröder:
>> Hi Korbinian,
>>
>> Am 10.09.2014 um 14:24 schrieb Korbinian Ederer:
>>> Hello Community,
>>> I'm relative new to l4RE. My Goal is to get access to an Hardware Device which is Build in the Processor.
>>> After some research i came to the conclusion that the IO-Server is the thing I need, but i have no clue how to invoke it.
>>> It would be great if someone could supply a short example
>>
>> Try this:
>> https://os.inf.tu-dresden.de/L4Re/doc/io.html
>> /src/l4/conf/examples/*.io, *.cfg
>> https://fooprotected.wordpress.com/2012/04/12/l4linux-patch-for-mv643xx-ethernet/
>>
>>
>> Best regards,
>>    Martin.