minix3/lib/libminc/get_minix_kerninfo.o