Using IO-Server

Martin Schröder martin.schroeder at
Fri Sep 12 14:30:58 CEST 2014

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:

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,

> 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:
>> /src/l4/conf/examples/*.io, *.cfg
>> Best regards,
>>    Martin.

More information about the l4-hackers mailing list