# The kernel include files come from the 'kernel-include' add-on.
unix/bsd/bsd4.4/freebsd/kernel-include/import/alpha

# Turn 32-bit __kernel_time_t into 64-bit __time_t.
unix/bsd/bsd4.4/freebsd/time-64
