Compiling GPIO drivers for L4Linux

[Nourhan Mohamed]

Dear all,
Unlike the normal Linux (version 4.3.0) kernel configuration, when
compiling the L4Linux (same version) kernel I couldn't find an option to
enable GPIO or choose a driver for the architecture I am building upon
(Since I am compiling for ARM, Versatile Express Cortex-A15 board over
qemu). Is there an option to enable gpio for l4linux? I even tried
modifying something in the gpio driver src in l4linux and when I
re-compiled, it never detected any changes.

BR,
Nourhan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20160223/f1dd6f53/attachment.html>