How to write a driver for ARM platform

Adam Lackorzynski adam at
Wed May 27 00:40:25 CEST 2015

On Tue May 19, 2015 at 12:00:48 -0700, qxjsjjjz wrote:
> I have designed a device in FPGA. This device has only one register
> and this register is mapped to physical address 0x41200000. I can
> operate this address in kernel level. And now I want to write a driver
> to operate this device. Because the driver runs at application level
> and I can just operate virtual address. I want to know how to map
> this physical address 0x41200000 to driver virtual address so I can
> operate this device in the application driver. Thanks a lot.

See the arm-rv* files in conf/examples on how to specify the mmio at
0x41200000 in your application's vbus and how to use io.
Then use l4io_request_iomem(0x41200000, 0x1000, 0, &virtaddr) to get a
virtual address to use.

Adam                 adam at

More information about the l4-hackers mailing list