Fix "make dist"

* Makefile.am (EXTRA_DIST): Remove ChangeLog.0, ChangeLog.00 and
Makefile.correct_output_files_for_.S_files.patch.
* Makefrag.am (libkernel_a_SOURCES): Add ipc/mach_port.h,
kern/ipc_mig.h, kern/machine.h, util/putchar.h, util/atoi.h,
vm/vm_resident.h, vm/vm_types.h and device/subrs.h.
Remove kern/time_out.h.
* i386/Makefrag.am (libkernel_a_SOURCES): Add i386/i386at/autoconf.h,
i386/i386at/com.h, i386/i386at/int_init.h, i386/i386/loose_ends.h,
i386/i386/model_dep.h, i386/intel/read_fault.h and i386/i386/xen.h.
Remove i386/i386/timer.h.
* linux/Makefrag.am (liblinux_a_SOURCES): Add
linux/src/drivers/net/sis900.h.
* xen/Makefrag.am (libkernel_a_SOURCES): Add xen/public/arch-x86_32.h
xen/public/arch-x86_64.h, xen/public/arch-x86/xen.h,
xen/public/arch-x86/xen-mca.h, xen/public/arch-x86/xen-x86_32.h,
xen/public/arch-x86/xen-x86_64.h, xen/public/callback.h, xen/public/COPYING,
xen/public/dom0_ops.h, xen/public/domctl.h, xen/public/elfnote.h,
xen/public/elfstructs.h, xen/public/event_channel.h, xen/public/features.h,
xen/public/grant_table.h, xen/public/io/blkif.h, xen/public/io/console.h,
xen/public/io/fbif.h, xen/public/io/fsif.h, xen/public/io/kbdif.h,
xen/public/io/netif.h, xen/public/io/pciif.h, xen/public/io/protocols.h,
xen/public/io/ring.h, xen/public/io/tpmif.h, xen/public/io/xenbus.h,
xen/public/io/xs_wire.h, xen/public/kexec.h, xen/public/libelf.h,
xen/public/memory.h, xen/public/nmi.h, xen/public/physdev.h,
xen/public/platform.h, xen/public/sched.h, xen/public/sysctl.h,
xen/public/trace.h, xen/public/vcpu.h, xen/public/version.h,
xen/public/xencomm.h, xen/public/xen-compat.h, xen/public/xen.h,
xen/public/xenoprof.h, xen/block.h, xen/console.h, xen/evt.h,
xen/grant.h, xen/net.h, xen/ring.h, xen/store.h, xen/time.h and xen/xen.h.

1 files changed, 9 insertions, 2 deletions

diff --git a/Makefrag.am b/Makefrag.am
index 0377e809..aa6b2287 100644
--- a/Makefrag.am
+++ b/Makefrag.am
@@ -102,6 +102,7 @@ libkernel_a_SOURCES += \
 	ipc/mach_msg.c \
 	ipc/mach_msg.h \
 	ipc/mach_port.c \
+	ipc/mach_port.h \
 	ipc/mach_rpc.c \
 	ipc/mach_debug.c \
 	ipc/port.h
@@ -137,6 +138,7 @@ libkernel_a_SOURCES += \
 	kern/ipc_kobject.c \
 	kern/ipc_kobject.h \
 	kern/ipc_mig.c \
+	kern/ipc_mig.h \
 	kern/ipc_sched.c \
 	kern/ipc_sched.h \
 	kern/ipc_tt.c \
@@ -153,6 +155,7 @@ libkernel_a_SOURCES += \
 	kern/mach_factor.h \
 	kern/mach_param.h \
 	kern/machine.c \
+	kern/machine.h \
 	kern/macro_help.h \
 	kern/pc_sample.c \
 	kern/pc_sample.h \
@@ -183,7 +186,6 @@ libkernel_a_SOURCES += \
 	kern/thread.h \
 	kern/thread_swap.c \
 	kern/thread_swap.h \
-	kern/time_out.h \
 	kern/time_stamp.c \
 	kern/time_stamp.h \
 	kern/timer.c \
@@ -207,8 +209,10 @@ EXTRA_DIST += \
 
 libkernel_a_SOURCES += \
 	util/putchar.c \
+	util/putchar.h \
 	util/puts.c \
-	util/atoi.c
+	util/atoi.c \
+	util/atoi.h
 
 #
 # Virtual memory implementation.
@@ -235,6 +239,8 @@ libkernel_a_SOURCES += \
 	vm/vm_pageout.c \
 	vm/vm_pageout.h \
 	vm/vm_resident.c \
+	vm/vm_resident.h \
+	vm/vm_types.h \
 	vm/vm_user.c \
 	vm/vm_user.h
 EXTRA_DIST += \
@@ -276,6 +282,7 @@ libkernel_a_SOURCES += \
 	device/net_io.h \
 	device/param.h \
 	device/subrs.c \
+	device/subrs.h \
 	device/tty.h
 EXTRA_DIST += \
 	device/device.srv \