minix3/drivers/system/random/main.o