Rename xen32 to ia32xen.
[helenos.git] / kernel / arch / 
tree2e6a05a65356ebeb6ceb9ae7cb6de723a15f118c
drwxr-xr-x   ..
drwxr-xr-x - amd64
drwxr-xr-x - ia32
drwxr-xr-x - ia32xen
drwxr-xr-x - ia64
drwxr-xr-x - mips32
drwxr-xr-x - ppc32
drwxr-xr-x - ppc64
drwxr-xr-x - sparc64