Rename xen32 to ia32xen.
[helenos.git] / kernel / arch / ia64 / 
tree744b297aafaf9d1a97bf5d32cac2b3aeaeab711f
drwxr-xr-x   ..
-rw-r--r-- 2665 Makefile.inc
-rw-r--r-- 786 _link.ld.in
drwxr-xr-x - include
drwxr-xr-x - src