Device manager for linux