Provide only one way to destroy address spaces
[helenos.git] / boot / arch / mips32 / 
tree654e07785ad443fa2c9df88d1dcea6e034222670
drwxr-xr-x   ..
-rw-r--r-- 2753 Makefile.inc
-rw-r--r-- 607 _link.ld.in
drwxr-xr-x - include
drwxr-xr-x - src