TempleOS: The Controversial Project With Over 100,000 Lines of Code