Extending Device Management in Minix