2025-12-09 LithOS: An Operating System for Efficient Machine Learning on GPUs