GPIO access on L4Linux

[Nourhan Mohamed]

Hi all,

Does anyone has a rough idea of the steps that should be carried to make
L4Linux see GPIO pins? I mean when I navigate to /sys/class I have no gpio
folder. So since I am new to this can anyone tell me what steps should be
carried out?

Thanks in advance,
Nourhan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20160208/ab5a62ee/attachment.html>