there is a config file: mios_tables.inc where you set the pins which have encoders attached to them, once this is done the encoders will work for you. look for the text "MIOS_ENC_MODE_NON_DETENTED" in that file to take you to the correct lines of code quickly....