Operating System-specific Architecture Specifications