Linux device driver sandbox