/minix/drivers/clock/readclock/arch/i386/