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-ethe...
Best regards, Martin.
l4-hackers@os.inf.tu-dresden.de