minix3/servers/devman/device.o