minix3/kernel/debug.o