Tank OS: Red Hat arbeitet an Agentic OS