4 ms·OS-R1: Agentic Operating System Kernel Tuning with Reinforcement Learning1 points by juanviera23 1y ago