Finish renaming xen32 to ia32xen.
commit19dce27f5a91b8a17c90b08c3477682312a94e78
authorJakub Jermar <jakub@jermar.eu>
Sun, 22 Oct 2006 18:36:36 +0000 (22 18:36 +0000)
committerJakub Jermar <jakub@jermar.eu>
Sun, 22 Oct 2006 18:36:36 +0000 (22 18:36 +0000)
treec141884301d20563bebb4a6cff0c9178de231c02
parent57ce359ffbe02e57f3174daac33abbe9e660d9dc
Finish renaming xen32 to ia32xen.
kernel/Makefile
kernel/arch/ia32xen/Makefile.inc
kernel/arch/ia32xen/_link.ld.in
kernel/arch/ia32xen/src/ia32xen.c [moved from kernel/arch/ia32xen/src/xen32.c with 100% similarity]