RSoC 2026: A new CPU scheduler for Redox OS