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?