Provide only one way to destroy address spaces
[helenos.git] / boot / arch / amd64 / 
treed570753c67b8d30a29db8a31c5489587d659749b
drwxr-xr-x   ..
-rw-r--r-- 2144 Makefile.inc