minix3/drivers/clock/readclock/readclock.o