159 files changed, 0 insertions, 0 deletions

diff --git a/boot-proxy-exc/boot b/boot-proxy-exc/boot
deleted file mode 100755
index 046e7a02..00000000
--- a/boot-proxy-exc/boot
+++ /dev/null
diff --git a/boot-proxy-exc/boot.o b/boot-proxy-exc/boot.o
deleted file mode 100644
index 47f26ba3..00000000
--- a/boot-proxy-exc/boot.o
+++ /dev/null
diff --git a/boot-proxy-exc/boot_script.o b/boot-proxy-exc/boot_script.o
deleted file mode 100644
index 6d629e2c..00000000
--- a/boot-proxy-exc/boot_script.o
+++ /dev/null
diff --git a/boot-proxy-exc/bootstrapServer.o b/boot-proxy-exc/bootstrapServer.o
deleted file mode 100644
index 9e119ae9..00000000
--- a/boot-proxy-exc/bootstrapServer.o
+++ /dev/null
diff --git a/boot-proxy-exc/device_replyUser.o b/boot-proxy-exc/device_replyUser.o
deleted file mode 100644
index 97a560c2..00000000
--- a/boot-proxy-exc/device_replyUser.o
+++ /dev/null
diff --git a/boot-proxy-exc/excServer.o b/boot-proxy-exc/excServer.o
deleted file mode 100644
index a27525fe..00000000
--- a/boot-proxy-exc/excServer.o
+++ /dev/null
diff --git a/boot-proxy-exc/exc_impl.o b/boot-proxy-exc/exc_impl.o
deleted file mode 100644
index d07822d9..00000000
--- a/boot-proxy-exc/exc_impl.o
+++ /dev/null
diff --git a/boot-proxy-exc/ioServer.o b/boot-proxy-exc/ioServer.o
deleted file mode 100644
index c10f4932..00000000
--- a/boot-proxy-exc/ioServer.o
+++ /dev/null
diff --git a/boot-proxy-exc/io_replyUser.o b/boot-proxy-exc/io_replyUser.o
deleted file mode 100644
index c7ca7690..00000000
--- a/boot-proxy-exc/io_replyUser.o
+++ /dev/null
diff --git a/boot-proxy-exc/list.o b/boot-proxy-exc/list.o
deleted file mode 100644
index 438da39b..00000000
--- a/boot-proxy-exc/list.o
+++ /dev/null
diff --git a/boot-proxy-exc/mach_host_impl.o b/boot-proxy-exc/mach_host_impl.o
deleted file mode 100644
index c35ed7d5..00000000
--- a/boot-proxy-exc/mach_host_impl.o
+++ /dev/null
diff --git a/boot-proxy-exc/mach_impl.o b/boot-proxy-exc/mach_impl.o
deleted file mode 100644
index ce418d43..00000000
--- a/boot-proxy-exc/mach_impl.o
+++ /dev/null
diff --git a/boot-proxy-exc/mach_port_impl.o b/boot-proxy-exc/mach_port_impl.o
deleted file mode 100644
index 97e15d06..00000000
--- a/boot-proxy-exc/mach_port_impl.o
+++ /dev/null
diff --git a/boot-proxy-exc/mach_proxy.o b/boot-proxy-exc/mach_proxy.o
deleted file mode 100644
index 7ac633f5..00000000
--- a/boot-proxy-exc/mach_proxy.o
+++ /dev/null
diff --git a/boot-proxy-exc/notifyServer.o b/boot-proxy-exc/notifyServer.o
deleted file mode 100644
index cde195b7..00000000
--- a/boot-proxy-exc/notifyServer.o
+++ /dev/null
diff --git a/boot-proxy-exc/ourdeviceServer.o b/boot-proxy-exc/ourdeviceServer.o
deleted file mode 100644
index f53b978f..00000000
--- a/boot-proxy-exc/ourdeviceServer.o
+++ /dev/null
diff --git a/boot-proxy-exc/ourmachServer.o b/boot-proxy-exc/ourmachServer.o
deleted file mode 100644
index ca7ba26b..00000000
--- a/boot-proxy-exc/ourmachServer.o
+++ /dev/null
diff --git a/boot-proxy-exc/ourmach_hostServer.o b/boot-proxy-exc/ourmach_hostServer.o
deleted file mode 100644
index 2cc768aa..00000000
--- a/boot-proxy-exc/ourmach_hostServer.o
+++ /dev/null
diff --git a/boot-proxy-exc/ourmach_portServer.o b/boot-proxy-exc/ourmach_portServer.o
deleted file mode 100644
index 39c31ec7..00000000
--- a/boot-proxy-exc/ourmach_portServer.o
+++ /dev/null
diff --git a/boot-proxy-exc/termServer.o b/boot-proxy-exc/termServer.o
deleted file mode 100644
index 757ae7e4..00000000
--- a/boot-proxy-exc/termServer.o
+++ /dev/null
diff --git a/boot-proxy-exc/userland-boot.o b/boot-proxy-exc/userland-boot.o
deleted file mode 100644
index 024396ce..00000000
--- a/boot-proxy-exc/userland-boot.o
+++ /dev/null
diff --git a/boot.backup1/boot.o b/boot.backup1/boot.o
deleted file mode 100644
index 8c6b261e..00000000
--- a/boot.backup1/boot.o
+++ /dev/null
diff --git a/boot.backup1/boot_script.o b/boot.backup1/boot_script.o
deleted file mode 100644
index 185fe429..00000000
--- a/boot.backup1/boot_script.o
+++ /dev/null
diff --git a/boot.backup1/bootstrapServer.o b/boot.backup1/bootstrapServer.o
deleted file mode 100644
index 9e119ae9..00000000
--- a/boot.backup1/bootstrapServer.o
+++ /dev/null
diff --git a/boot.backup1/device_replyUser.o b/boot.backup1/device_replyUser.o
deleted file mode 100644
index 97a560c2..00000000
--- a/boot.backup1/device_replyUser.o
+++ /dev/null
diff --git a/boot.backup1/excServer.o b/boot.backup1/excServer.o
deleted file mode 100644
index a27525fe..00000000
--- a/boot.backup1/excServer.o
+++ /dev/null
diff --git a/boot.backup1/exc_impl.o b/boot.backup1/exc_impl.o
deleted file mode 100644
index 6ccd0eab..00000000
--- a/boot.backup1/exc_impl.o
+++ /dev/null
diff --git a/boot.backup1/ioServer.o b/boot.backup1/ioServer.o
deleted file mode 100644
index c10f4932..00000000
--- a/boot.backup1/ioServer.o
+++ /dev/null
diff --git a/boot.backup1/io_replyUser.o b/boot.backup1/io_replyUser.o
deleted file mode 100644
index c7ca7690..00000000
--- a/boot.backup1/io_replyUser.o
+++ /dev/null
diff --git a/boot.backup1/list.o b/boot.backup1/list.o
deleted file mode 100644
index 438da39b..00000000
--- a/boot.backup1/list.o
+++ /dev/null
diff --git a/boot.backup1/mach_host_impl.o b/boot.backup1/mach_host_impl.o
deleted file mode 100644
index 9ac30814..00000000
--- a/boot.backup1/mach_host_impl.o
+++ /dev/null
diff --git a/boot.backup1/mach_impl.o b/boot.backup1/mach_impl.o
deleted file mode 100644
index c0d319b9..00000000
--- a/boot.backup1/mach_impl.o
+++ /dev/null
diff --git a/boot.backup1/mach_port_impl.o b/boot.backup1/mach_port_impl.o
deleted file mode 100644
index 83c92f4d..00000000
--- a/boot.backup1/mach_port_impl.o
+++ /dev/null
diff --git a/boot.backup1/mach_proxy.o b/boot.backup1/mach_proxy.o
deleted file mode 100644
index db3b08be..00000000
--- a/boot.backup1/mach_proxy.o
+++ /dev/null
diff --git a/boot.backup1/notifyServer.o b/boot.backup1/notifyServer.o
deleted file mode 100644
index cde195b7..00000000
--- a/boot.backup1/notifyServer.o
+++ /dev/null
diff --git a/boot.backup1/ourdeviceServer.o b/boot.backup1/ourdeviceServer.o
deleted file mode 100644
index f53b978f..00000000
--- a/boot.backup1/ourdeviceServer.o
+++ /dev/null
diff --git a/boot.backup1/ourmachServer.o b/boot.backup1/ourmachServer.o
deleted file mode 100644
index c9924b41..00000000
--- a/boot.backup1/ourmachServer.o
+++ /dev/null
diff --git a/boot.backup1/ourmach_hostServer.o b/boot.backup1/ourmach_hostServer.o
deleted file mode 100644
index 2cc768aa..00000000
--- a/boot.backup1/ourmach_hostServer.o
+++ /dev/null
diff --git a/boot.backup1/ourmach_portServer.o b/boot.backup1/ourmach_portServer.o
deleted file mode 100644
index 39c31ec7..00000000
--- a/boot.backup1/ourmach_portServer.o
+++ /dev/null
diff --git a/boot.backup1/termServer.o b/boot.backup1/termServer.o
deleted file mode 100644
index 757ae7e4..00000000
--- a/boot.backup1/termServer.o
+++ /dev/null
diff --git a/boot.backup1/userland-boot.o b/boot.backup1/userland-boot.o
deleted file mode 100644
index e41a199f..00000000
--- a/boot.backup1/userland-boot.o
+++ /dev/null
diff --git a/eth-filter.multi-thread/bpf_impl.o b/eth-filter.multi-thread/bpf_impl.o
deleted file mode 100644
index aaf3181a..00000000
--- a/eth-filter.multi-thread/bpf_impl.o
+++ /dev/null
diff --git a/eth-filter.multi-thread/device_replyUser.o b/eth-filter.multi-thread/device_replyUser.o
deleted file mode 100644
index 19e59cbb..00000000
--- a/eth-filter.multi-thread/device_replyUser.o
+++ /dev/null
diff --git a/eth-filter.multi-thread/filter.o b/eth-filter.multi-thread/filter.o
deleted file mode 100644
index de893389..00000000
--- a/eth-filter.multi-thread/filter.o
+++ /dev/null
diff --git a/eth-filter.multi-thread/msg_queue.o b/eth-filter.multi-thread/msg_queue.o
deleted file mode 100644
index db8ea579..00000000
--- a/eth-filter.multi-thread/msg_queue.o
+++ /dev/null
diff --git a/eth-filter.multi-thread/notifyServer.o b/eth-filter.multi-thread/notifyServer.o
deleted file mode 100644
index 7de1ecfb..00000000
--- a/eth-filter.multi-thread/notifyServer.o
+++ /dev/null
diff --git a/eth-filter.multi-thread/ourdeviceServer.o b/eth-filter.multi-thread/ourdeviceServer.o
deleted file mode 100644
index d67d79bd..00000000
--- a/eth-filter.multi-thread/ourdeviceServer.o
+++ /dev/null
diff --git a/eth-filter.multi-thread/pcap_filter.o b/eth-filter.multi-thread/pcap_filter.o
deleted file mode 100644
index 4eeb89bb..00000000
--- a/eth-filter.multi-thread/pcap_filter.o
+++ /dev/null
diff --git a/eth-filter.multi-thread/queue.o b/eth-filter.multi-thread/queue.o
deleted file mode 100644
index 90878697..00000000
--- a/eth-filter.multi-thread/queue.o
+++ /dev/null
diff --git a/pfinet.old/addrconf.o b/pfinet.old/addrconf.o
deleted file mode 100644
index 02f25477..00000000
--- a/pfinet.old/addrconf.o
+++ /dev/null
diff --git a/pfinet.old/af_inet.o b/pfinet.old/af_inet.o
deleted file mode 100644
index 7f430e8b..00000000
--- a/pfinet.old/af_inet.o
+++ /dev/null
diff --git a/pfinet.old/af_inet6.o b/pfinet.old/af_inet6.o
deleted file mode 100644
index 1dc83ccc..00000000
--- a/pfinet.old/af_inet6.o
+++ /dev/null
diff --git a/pfinet.old/arp.o b/pfinet.old/arp.o
deleted file mode 100644
index 62c4b5a9..00000000
--- a/pfinet.old/arp.o
+++ /dev/null
diff --git a/pfinet.old/checksum.o b/pfinet.old/checksum.o
deleted file mode 100644
index 68de0a5c..00000000
--- a/pfinet.old/checksum.o
+++ /dev/null
diff --git a/pfinet.old/datagram.o b/pfinet.old/datagram.o
deleted file mode 100644
index 919ac422..00000000
--- a/pfinet.old/datagram.o
+++ /dev/null
diff --git a/pfinet.old/datagram_ipv6.o b/pfinet.old/datagram_ipv6.o
deleted file mode 100644
index 7a22269b..00000000
--- a/pfinet.old/datagram_ipv6.o
+++ /dev/null
diff --git a/pfinet.old/dev.o b/pfinet.old/dev.o
deleted file mode 100644
index d70ddb28..00000000
--- a/pfinet.old/dev.o
+++ /dev/null
diff --git a/pfinet.old/dev_mcast.o b/pfinet.old/dev_mcast.o
deleted file mode 100644
index feb3af93..00000000
--- a/pfinet.old/dev_mcast.o
+++ /dev/null
diff --git a/pfinet.old/devinet.o b/pfinet.old/devinet.o
deleted file mode 100644
index fbcb21e7..00000000
--- a/pfinet.old/devinet.o
+++ /dev/null
diff --git a/pfinet.old/dst.o b/pfinet.old/dst.o
deleted file mode 100644
index 99e7c2e0..00000000
--- a/pfinet.old/dst.o
+++ /dev/null
diff --git a/pfinet.old/dummy.o b/pfinet.old/dummy.o
deleted file mode 100644
index b1840754..00000000
--- a/pfinet.old/dummy.o
+++ /dev/null
diff --git a/pfinet.old/eth.o b/pfinet.old/eth.o
deleted file mode 100644
index 71319f28..00000000
--- a/pfinet.old/eth.o
+++ /dev/null
diff --git a/pfinet.old/ethernet.o b/pfinet.old/ethernet.o
deleted file mode 100644
index f6fb1552..00000000
--- a/pfinet.old/ethernet.o
+++ /dev/null
diff --git a/pfinet.old/exthdrs.o b/pfinet.old/exthdrs.o
deleted file mode 100644
index f25ceaea..00000000
--- a/pfinet.old/exthdrs.o
+++ /dev/null
diff --git a/pfinet.old/fib_frontend.o b/pfinet.old/fib_frontend.o
deleted file mode 100644
index 8b8336dc..00000000
--- a/pfinet.old/fib_frontend.o
+++ /dev/null
diff --git a/pfinet.old/fib_hash.o b/pfinet.old/fib_hash.o
deleted file mode 100644
index 889bf3af..00000000
--- a/pfinet.old/fib_hash.o
+++ /dev/null
diff --git a/pfinet.old/fib_semantics.o b/pfinet.old/fib_semantics.o
deleted file mode 100644
index 329b7a42..00000000
--- a/pfinet.old/fib_semantics.o
+++ /dev/null
diff --git a/pfinet.old/icmp.o b/pfinet.old/icmp.o
deleted file mode 100644
index 2e8930ae..00000000
--- a/pfinet.old/icmp.o
+++ /dev/null
diff --git a/pfinet.old/icmpv6.o b/pfinet.old/icmpv6.o
deleted file mode 100644
index b3c3d9ae..00000000
--- a/pfinet.old/icmpv6.o
+++ /dev/null
diff --git a/pfinet.old/igmp.o b/pfinet.old/igmp.o
deleted file mode 100644
index 7ad86120..00000000
--- a/pfinet.old/igmp.o
+++ /dev/null
diff --git a/pfinet.old/iioctl-ops.o b/pfinet.old/iioctl-ops.o
deleted file mode 100644
index 0cc07c4c..00000000
--- a/pfinet.old/iioctl-ops.o
+++ /dev/null
diff --git a/pfinet.old/iioctlServer.o b/pfinet.old/iioctlServer.o
deleted file mode 100644
index aaf38780..00000000
--- a/pfinet.old/iioctlServer.o
+++ /dev/null
diff --git a/pfinet.old/io-ops.o b/pfinet.old/io-ops.o
deleted file mode 100644
index 2e1e668e..00000000
--- a/pfinet.old/io-ops.o
+++ /dev/null
diff --git a/pfinet.old/ioServer.o b/pfinet.old/ioServer.o
deleted file mode 100644
index d929cb06..00000000
--- a/pfinet.old/ioServer.o
+++ /dev/null
diff --git a/pfinet.old/iovec.o b/pfinet.old/iovec.o
deleted file mode 100644
index aa84c032..00000000
--- a/pfinet.old/iovec.o
+++ /dev/null
diff --git a/pfinet.old/ip6_fib.o b/pfinet.old/ip6_fib.o
deleted file mode 100644
index a3520d6e..00000000
--- a/pfinet.old/ip6_fib.o
+++ /dev/null
diff --git a/pfinet.old/ip6_flowlabel.o b/pfinet.old/ip6_flowlabel.o
deleted file mode 100644
index 55bf330b..00000000
--- a/pfinet.old/ip6_flowlabel.o
+++ /dev/null
diff --git a/pfinet.old/ip6_input.o b/pfinet.old/ip6_input.o
deleted file mode 100644
index 9e43f5b0..00000000
--- a/pfinet.old/ip6_input.o
+++ /dev/null
diff --git a/pfinet.old/ip6_output.o b/pfinet.old/ip6_output.o
deleted file mode 100644
index 8c1cf8a6..00000000
--- a/pfinet.old/ip6_output.o
+++ /dev/null
diff --git a/pfinet.old/ip_forward.o b/pfinet.old/ip_forward.o
deleted file mode 100644
index d9d64cc4..00000000
--- a/pfinet.old/ip_forward.o
+++ /dev/null
diff --git a/pfinet.old/ip_fragment.o b/pfinet.old/ip_fragment.o
deleted file mode 100644
index bf4e4ec6..00000000
--- a/pfinet.old/ip_fragment.o
+++ /dev/null
diff --git a/pfinet.old/ip_input.o b/pfinet.old/ip_input.o
deleted file mode 100644
index be600198..00000000
--- a/pfinet.old/ip_input.o
+++ /dev/null
diff --git a/pfinet.old/ip_options.o b/pfinet.old/ip_options.o
deleted file mode 100644
index 4afc744e..00000000
--- a/pfinet.old/ip_options.o
+++ /dev/null
diff --git a/pfinet.old/ip_output.o b/pfinet.old/ip_output.o
deleted file mode 100644
index e7dac20c..00000000
--- a/pfinet.old/ip_output.o
+++ /dev/null
diff --git a/pfinet.old/ip_sockglue.o b/pfinet.old/ip_sockglue.o
deleted file mode 100644
index b21c5b73..00000000
--- a/pfinet.old/ip_sockglue.o
+++ /dev/null
diff --git a/pfinet.old/ipv6_sockglue.o b/pfinet.old/ipv6_sockglue.o
deleted file mode 100644
index 7365b8ae..00000000
--- a/pfinet.old/ipv6_sockglue.o
+++ /dev/null
diff --git a/pfinet.old/kmem_cache.o b/pfinet.old/kmem_cache.o
deleted file mode 100644
index 5d39c5c8..00000000
--- a/pfinet.old/kmem_cache.o
+++ /dev/null
diff --git a/pfinet.old/loopback.o b/pfinet.old/loopback.o
deleted file mode 100644
index 84a41c4a..00000000
--- a/pfinet.old/loopback.o
+++ /dev/null
diff --git a/pfinet.old/main.o b/pfinet.old/main.o
deleted file mode 100644
index 416f013a..00000000
--- a/pfinet.old/main.o
+++ /dev/null
diff --git a/pfinet.old/mcast.o b/pfinet.old/mcast.o
deleted file mode 100644
index 1db27002..00000000
--- a/pfinet.old/mcast.o
+++ /dev/null
diff --git a/pfinet.old/misc.o b/pfinet.old/misc.o
deleted file mode 100644
index 05781512..00000000
--- a/pfinet.old/misc.o
+++ /dev/null
diff --git a/pfinet.old/ndisc.o b/pfinet.old/ndisc.o
deleted file mode 100644
index 64ee70e7..00000000
--- a/pfinet.old/ndisc.o
+++ /dev/null
diff --git a/pfinet.old/neighbour.o b/pfinet.old/neighbour.o
deleted file mode 100644
index 1637e444..00000000
--- a/pfinet.old/neighbour.o
+++ /dev/null
diff --git a/pfinet.old/old-checksum.o b/pfinet.old/old-checksum.o
deleted file mode 100644
index 5a79b4a4..00000000
--- a/pfinet.old/old-checksum.o
+++ /dev/null
diff --git a/pfinet.old/options.o b/pfinet.old/options.o
deleted file mode 100644
index 6341cc0a..00000000
--- a/pfinet.old/options.o
+++ /dev/null
diff --git a/pfinet.old/pfinet-ops.o b/pfinet.old/pfinet-ops.o
deleted file mode 100644
index 44b885e0..00000000
--- a/pfinet.old/pfinet-ops.o
+++ /dev/null
diff --git a/pfinet.old/pfinetServer.o b/pfinet.old/pfinetServer.o
deleted file mode 100644
index 92cdbfc3..00000000
--- a/pfinet.old/pfinetServer.o
+++ /dev/null
diff --git a/pfinet.old/protocol.o b/pfinet.old/protocol.o
deleted file mode 100644
index 417045bd..00000000
--- a/pfinet.old/protocol.o
+++ /dev/null
diff --git a/pfinet.old/protocol_ipv6.o b/pfinet.old/protocol_ipv6.o
deleted file mode 100644
index 04e96023..00000000
--- a/pfinet.old/protocol_ipv6.o
+++ /dev/null
diff --git a/pfinet.old/raw.o b/pfinet.old/raw.o
deleted file mode 100644
index f419a6e8..00000000
--- a/pfinet.old/raw.o
+++ /dev/null
diff --git a/pfinet.old/raw_ipv6.o b/pfinet.old/raw_ipv6.o
deleted file mode 100644
index 73a02496..00000000
--- a/pfinet.old/raw_ipv6.o
+++ /dev/null
diff --git a/pfinet.old/reassembly.o b/pfinet.old/reassembly.o
deleted file mode 100644
index a8f8fe8d..00000000
--- a/pfinet.old/reassembly.o
+++ /dev/null
diff --git a/pfinet.old/route.o b/pfinet.old/route.o
deleted file mode 100644
index d55bdb9f..00000000
--- a/pfinet.old/route.o
+++ /dev/null
diff --git a/pfinet.old/route_ipv6.o b/pfinet.old/route_ipv6.o
deleted file mode 100644
index 87927c86..00000000
--- a/pfinet.old/route_ipv6.o
+++ /dev/null
diff --git a/pfinet.old/sched.o b/pfinet.old/sched.o
deleted file mode 100644
index 1b59e32e..00000000
--- a/pfinet.old/sched.o
+++ /dev/null
diff --git a/pfinet.old/skbuff.o b/pfinet.old/skbuff.o
deleted file mode 100644
index 5914d076..00000000
--- a/pfinet.old/skbuff.o
+++ /dev/null
diff --git a/pfinet.old/sock.o b/pfinet.old/sock.o
deleted file mode 100644
index 4892a027..00000000
--- a/pfinet.old/sock.o
+++ /dev/null
diff --git a/pfinet.old/socket-ops.o b/pfinet.old/socket-ops.o
deleted file mode 100644
index 3fe8d2fb..00000000
--- a/pfinet.old/socket-ops.o
+++ /dev/null
diff --git a/pfinet.old/socket.o b/pfinet.old/socket.o
deleted file mode 100644
index b989a696..00000000
--- a/pfinet.old/socket.o
+++ /dev/null
diff --git a/pfinet.old/socketServer.o b/pfinet.old/socketServer.o
deleted file mode 100644
index 95f5cb83..00000000
--- a/pfinet.old/socketServer.o
+++ /dev/null
diff --git a/pfinet.old/startup_notifyServer.o b/pfinet.old/startup_notifyServer.o
deleted file mode 100644
index 9b5baa4c..00000000
--- a/pfinet.old/startup_notifyServer.o
+++ /dev/null
diff --git a/pfinet.old/stubs.o b/pfinet.old/stubs.o
deleted file mode 100644
index c9dae0b4..00000000
--- a/pfinet.old/stubs.o
+++ /dev/null
diff --git a/pfinet.old/syncookies.o b/pfinet.old/syncookies.o
deleted file mode 100644
index 0c4755fe..00000000
--- a/pfinet.old/syncookies.o
+++ /dev/null
diff --git a/pfinet.old/sysctl_net_ipv4.o b/pfinet.old/sysctl_net_ipv4.o
deleted file mode 100644
index 31ab3956..00000000
--- a/pfinet.old/sysctl_net_ipv4.o
+++ /dev/null
diff --git a/pfinet.old/tcp.o b/pfinet.old/tcp.o
deleted file mode 100644
index 722ecb4a..00000000
--- a/pfinet.old/tcp.o
+++ /dev/null
diff --git a/pfinet.old/tcp_input.o b/pfinet.old/tcp_input.o
deleted file mode 100644
index 1199dfbc..00000000
--- a/pfinet.old/tcp_input.o
+++ /dev/null
diff --git a/pfinet.old/tcp_ipv4.o b/pfinet.old/tcp_ipv4.o
deleted file mode 100644
index 1463b463..00000000
--- a/pfinet.old/tcp_ipv4.o
+++ /dev/null
diff --git a/pfinet.old/tcp_ipv6.o b/pfinet.old/tcp_ipv6.o
deleted file mode 100644
index 67deadc5..00000000
--- a/pfinet.old/tcp_ipv6.o
+++ /dev/null
diff --git a/pfinet.old/tcp_output.o b/pfinet.old/tcp_output.o
deleted file mode 100644
index 590d84ae..00000000
--- a/pfinet.old/tcp_output.o
+++ /dev/null
diff --git a/pfinet.old/tcp_timer.o b/pfinet.old/tcp_timer.o
deleted file mode 100644
index b05e82fe..00000000
--- a/pfinet.old/tcp_timer.o
+++ /dev/null
diff --git a/pfinet.old/time.o b/pfinet.old/time.o
deleted file mode 100644
index cd8d4a98..00000000
--- a/pfinet.old/time.o
+++ /dev/null
diff --git a/pfinet.old/timer-emul.o b/pfinet.old/timer-emul.o
deleted file mode 100644
index 12c9d377..00000000
--- a/pfinet.old/timer-emul.o
+++ /dev/null
diff --git a/pfinet.old/timer.o b/pfinet.old/timer.o
deleted file mode 100644
index b35811c6..00000000
--- a/pfinet.old/timer.o
+++ /dev/null
diff --git a/pfinet.old/tunnel.o b/pfinet.old/tunnel.o
deleted file mode 100644
index 069cf743..00000000
--- a/pfinet.old/tunnel.o
+++ /dev/null
diff --git a/pfinet.old/udp.o b/pfinet.old/udp.o
deleted file mode 100644
index e382b24c..00000000
--- a/pfinet.old/udp.o
+++ /dev/null
diff --git a/pfinet.old/udp_ipv6.o b/pfinet.old/udp_ipv6.o
deleted file mode 100644
index 6ec1802d..00000000
--- a/pfinet.old/udp_ipv6.o
+++ /dev/null
diff --git a/pfinet.old/utils.o b/pfinet.old/utils.o
deleted file mode 100644
index d25605a9..00000000
--- a/pfinet.old/utils.o
+++ /dev/null
diff --git a/serverboot/boot_script.o b/serverboot/boot_script.o
deleted file mode 100644
index 9feec275..00000000
--- a/serverboot/boot_script.o
+++ /dev/null
diff --git a/serverboot/bootstrap.o b/serverboot/bootstrap.o
deleted file mode 100644
index fe21573b..00000000
--- a/serverboot/bootstrap.o
+++ /dev/null
diff --git a/serverboot/bunzip2.o b/serverboot/bunzip2.o
deleted file mode 100644
index fc08145a..00000000
--- a/serverboot/bunzip2.o
+++ /dev/null
diff --git a/serverboot/do-bunzip2.o b/serverboot/do-bunzip2.o
deleted file mode 100644
index 1a6f9225..00000000
--- a/serverboot/do-bunzip2.o
+++ /dev/null
diff --git a/serverboot/elf-load.o b/serverboot/elf-load.o
deleted file mode 100644
index f094cf2f..00000000
--- a/serverboot/elf-load.o
+++ /dev/null
diff --git a/serverboot/exec.o b/serverboot/exec.o
deleted file mode 100644
index 46aed876..00000000
--- a/serverboot/exec.o
+++ /dev/null
diff --git a/serverboot/ext2_file_io.o b/serverboot/ext2_file_io.o
deleted file mode 100644
index 22d188a5..00000000
--- a/serverboot/ext2_file_io.o
+++ /dev/null
diff --git a/serverboot/ffs_compat.o b/serverboot/ffs_compat.o
deleted file mode 100644
index 475693f3..00000000
--- a/serverboot/ffs_compat.o
+++ /dev/null
diff --git a/serverboot/ffs_file_io.o b/serverboot/ffs_file_io.o
deleted file mode 100644
index 4af9c9d1..00000000
--- a/serverboot/ffs_file_io.o
+++ /dev/null
diff --git a/serverboot/file_io.o b/serverboot/file_io.o
deleted file mode 100644
index 42776c51..00000000
--- a/serverboot/file_io.o
+++ /dev/null
diff --git a/serverboot/gunzip.o b/serverboot/gunzip.o
deleted file mode 100644
index e98c0bac..00000000
--- a/serverboot/gunzip.o
+++ /dev/null
diff --git a/serverboot/inflate.o b/serverboot/inflate.o
deleted file mode 100644
index c61729b6..00000000
--- a/serverboot/inflate.o
+++ /dev/null
diff --git a/serverboot/load.o b/serverboot/load.o
deleted file mode 100644
index 519eba84..00000000
--- a/serverboot/load.o
+++ /dev/null
diff --git a/serverboot/minix_ffs_compat.o b/serverboot/minix_ffs_compat.o
deleted file mode 100644
index 478167c7..00000000
--- a/serverboot/minix_ffs_compat.o
+++ /dev/null
diff --git a/serverboot/minix_file_io.o b/serverboot/minix_file_io.o
deleted file mode 100644
index 48d22c86..00000000
--- a/serverboot/minix_file_io.o
+++ /dev/null
diff --git a/serverboot/panic.o b/serverboot/panic.o
deleted file mode 100644
index 5dd28378..00000000
--- a/serverboot/panic.o
+++ /dev/null
diff --git a/serverboot/strfcns.o b/serverboot/strfcns.o
deleted file mode 100644
index a21595dc..00000000
--- a/serverboot/strfcns.o
+++ /dev/null
diff --git a/serverboot/unzip.o b/serverboot/unzip.o
deleted file mode 100644
index d020c381..00000000
--- a/serverboot/unzip.o
+++ /dev/null
diff --git a/serverboot/userland-boot.o b/serverboot/userland-boot.o
deleted file mode 100644
index 88dce035..00000000
--- a/serverboot/userland-boot.o
+++ /dev/null
diff --git a/serverboot/util.o b/serverboot/util.o
deleted file mode 100644
index 48ac493c..00000000
--- a/serverboot/util.o
+++ /dev/null
diff --git a/serverboot/wiring.o b/serverboot/wiring.o
deleted file mode 100644
index 9f450504..00000000
--- a/serverboot/wiring.o
+++ /dev/null
diff --git a/unionfs/lib.o b/unionfs/lib.o
deleted file mode 100644
index aec53fdf..00000000
--- a/unionfs/lib.o
+++ /dev/null
diff --git a/unionfs/lnode.o b/unionfs/lnode.o
deleted file mode 100644
index bcd1154f..00000000
--- a/unionfs/lnode.o
+++ /dev/null
diff --git a/unionfs/main.o b/unionfs/main.o
deleted file mode 100644
index 59e2336a..00000000
--- a/unionfs/main.o
+++ /dev/null
diff --git a/unionfs/ncache.o b/unionfs/ncache.o
deleted file mode 100644
index 79c064b3..00000000
--- a/unionfs/ncache.o
+++ /dev/null
diff --git a/unionfs/netfs.o b/unionfs/netfs.o
deleted file mode 100644
index 25412efd..00000000
--- a/unionfs/netfs.o
+++ /dev/null
diff --git a/unionfs/node.o b/unionfs/node.o
deleted file mode 100644
index b443a676..00000000
--- a/unionfs/node.o
+++ /dev/null
diff --git a/unionfs/options.o b/unionfs/options.o
deleted file mode 100644
index b383a8f4..00000000
--- a/unionfs/options.o
+++ /dev/null
diff --git a/unionfs/pattern.o b/unionfs/pattern.o
deleted file mode 100644
index 92a2a4cf..00000000
--- a/unionfs/pattern.o
+++ /dev/null
diff --git a/unionfs/stow.o b/unionfs/stow.o
deleted file mode 100644
index fd5ca365..00000000
--- a/unionfs/stow.o
+++ /dev/null
diff --git a/unionfs/ulfs.o b/unionfs/ulfs.o
deleted file mode 100644
index 1b4e4b32..00000000
--- a/unionfs/ulfs.o
+++ /dev/null
diff --git a/unionfs/update.o b/unionfs/update.o
deleted file mode 100644
index c356ee6b..00000000
--- a/unionfs/update.o
+++ /dev/null