GPSIZE=32
AXP64_SOURCES=..\alpha\kdtrap.c   \
              ..\alpha\kdreboot.c \
              ..\alpha\kdcpuapi.c \
              ..\alpha\kdcmsup.c  \
              ..\alpha\kdppcr.s
