added: support for setting device threads to SCHED_FIFO and setting the priority using the threadpriority keyword in the config file
some changes and cosmetic