WeensyOS2: Priority scheduler with dynamic priority setting.