HelenOS sources

boot/arch/ia64/include/arch/pal.h
kernel/arch/ia64/include/arch/pal/pal.h
HelenOS homepage, sources at GitHub