Title: Structured device management in operating systems