Types for Linux