Unable to detect GPIO pins in python

[mgodbole1729]

I'm trying to access the GPIO pins via the DIO input on IEI Tank 880. I've installed the mraa library as per the instructions provided in the repo. I have also loaded the gpio_f7188x kernal which is necessary for IEI Tank. But when I try to run the code:

import mraa
import time

# initialise gpio 23
gpio_1 = mraa.Gpio(23)

# initialise gpio 24
gpio_2 = mraa.Gpio(24)

# set gpio 23 to output
gpio_1.dir(mraa.DIR_OUT)

# set gpio 24 to output
gpio_2.dir(mraa.DIR_OUT)

# toggle both gpio's
while True:
    gpio_1.write(1)
    gpio_2.write(0)

    time.sleep(1)

    gpio_1.write(0)
    gpio_2.write(1)

    time.sleep(1) 

I get the error "Invalid GPIO pin". What is going wrong here?
I also tried different pin numbers from 0 to 8.

[Benedikt Niedermayr]

Maybe a bit late. But what does the syslog print out?
sudo journalctl -e -f?