CORE2-ROS Boot issue

Hi Gus,
It seems you’ve encountered the same issue like user from this thread:

Please follow the step by step instructions from the thread. If you happen to have the Raspberry Pi, please install following library on your PI:

$ pip install RPi.GPIO

In commands from the solution use -c rpi option instead -c tinker or -c upboard meant for Asus Tinker Board and Upboard respectively. Please let me know if that cured your board.