Hi all, One is able to set the priority of L4Linux in the loader config file with the "priority" parameter. Q1: How can I change this priority dynamically after the Linux server has been loaded? Q2: Which tasks has the rights to do this - only RMGR?
Thanks Leon _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
