Fix this debug printf
[newos.git] / boot / pc / 
treefdaebc52e878d140feb77a4b08e2588a497bed3d
drwxr-xr-x   ..
drwxr-xr-x - i386
-rw-r--r-- 68 makefile
drwxr-xr-x - x86_64