minix3/drivers/system/log/diag.o