Finish renaming xen32 to ia32xen.
[helenos.git] / boot / 
tree5173ddfa6cf05d8a958bae6b8738f21aa4c07ec7
drwxr-xr-x   ..
-rw-r--r-- 2023 Makefile
drwxr-xr-x - arch
-rw-r--r-- 583 boot.config
drwxr-xr-x - genarch
drwxr-xr-x - generic
drwxr-xr-x - tools