Estou procurando uma maneira de compilar o minix. O comando make hdboot parece não fazer nada com os diretórios em /usr/src/lib . Eu mudei apenas um arquivo .c no syslib. Eu tenho que fazer make world para isso?
make hdboot
/usr/src/lib
.c
make world
Tags kernel compiling c minix