/extras/mini-os/arch/ia64/

• ../
• Makefile
• __divdi3.S
• __udivdi3.S
• __umoddi3.S
• arch.mk
• common.c
• debug.c
• efi.c
• fw.S
• gen_off.c
• ia64.S
• ivt.S
• minios-ia64.lds
• mm.c
• sal.c
• sched.c
• time.c
• xencomm.c