Hi people, I was trying to use the demo matrix-IR receiver to use the embedded IR receiver untill I realize that the receiver is in GPIOL11 which isn't a mapped GPIO port of the 40, so, how can I use it (call it from program)?

Apparently from this post: http://www.friendlyarm.com/Forum/viewtopic.php?f=49&t=186

I can use the python library to call the different ports but I wanna know if it can be called from matrix library