Re: Using IO-Server

Martin Schröder <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <[email protected]>
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.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.