Once the file Examples/Lin32/rpi-gpio.fth has been compiled by a root (sudo) user, you can access the GPIO registers directly.
In my "ample spare time" or when I get back to it, I/we will write a higher level GPIO pin driver such as the one we provide with the cross compiler.