#
# Copyright 1996 1995 by Open Software Foundation, Inc.   
#              All Rights Reserved 
#  
# Permission to use, copy, modify, and distribute this software and 
# its documentation for any purpose and without fee is hereby granted, 
# provided that the above copyright notice appears in all copies and 
# that both the copyright notice and this permission notice appear in 
# supporting documentation. 
#  
# OSF DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE 
# INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS 
# FOR A PARTICULAR PURPOSE. 
#  
# IN NO EVENT SHALL OSF BE LIABLE FOR ANY SPECIAL, INDIRECT, OR 
# CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM 
# LOSS OF USE, DATA OR PROFITS, WHETHER IN ACTION OF CONTRACT, 
# NEGLIGENCE, OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION 
# WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. 
#
# pmk1.1

# CMU_HIST 
#
# Revision 2.29.3.8  92/09/15  17:14:13  jeffreyh
# 	Add tr.c, event tracing.
# 	[92/09/10            alanl]
# 	Added rules mach/prof_user.c 
# 	[92/07/17            bernadat]
# 
# Revision 2.29.3.7  92/05/27  00:37:11  jeffreyh
# 	added norma/ipc_deadname.c
# 	[92/05/26            jeffreyh]
# 
# Revision 2.29.3.6  92/03/28  10:04:06  jeffreyh
# 	Corrected Log
# 	[92/03/20            jeffreyh]
# 	Added vm/vm_external
# 	[92/03/11            jeffreyh]
# 
# Revision 2.29.3.5  92/02/21  11:37:48  jsb
# 	Removed norma/xmm_shadow.c (again).
# 
# Revision 2.29.3.4  92/02/21  11:22:04  jsb
# 	Removed norma/xmm_shadow.c.
# 	[92/02/11  18:19:50  jsb]
# 
# 	Added norma/xmm_object.c.
# 	[92/02/10  16:53:51  jsb]
# 
# 	Added norma/xmm{invoke,shadow}.c.
# 	[92/02/09  12:38:40  jsb]
# 
# Revision 2.29.3.3  92/02/18  18:37:45  jeffreyh
# 	Added norma/xmm_shadow.c
# 	[92/02/14            jeffreyh]
# 	Added new options:
# 		mach_lock_mon:	simple locks monitoring
# 		mach_mp_debug:	dead lock detection for simple locks
# 		time_stamp:	If h/w provides a cheap counter, can
# 				be used for xpr stamps and lock monitoring
# 	[91/12/06            bernadat]
# 
# 	Added kern/profile.c for profiling
# 	[91/09/16            bernadat]
# 
# Revision 2.29.3.2  92/01/21  21:49:35  jsb
# 	Removed norma/ipc_{netlock,nethread,receive,send}.c.
# 	Added norma/ipc_unreliable.c.
# 	[92/01/11  17:05:19  jsb]
# 
# 	Added norma/ipc_{netlock,netthread,receive,send,wire}.c files
# 	split from norma/ipc_net.c.
# 	[92/01/10  20:35:47  jsb]
# 
# Revision 2.29.3.1  92/01/03  16:34:10  jsb
# 	Added norma/ipc_clean.c.
# 	[91/12/29  21:42:00  jsb]
# 
# 	Corrected log. Added norma/xmm_buffer.c.
# 	[91/12/28  18:01:18  jsb]
# 
# 	Removed norma/ipc_{alias,token}.c; added norma/ipc_list.c.
# 	[91/12/24  13:49:30  jsb]
# 
# Revision 2.29  91/12/13  14:54:19  jsb
# 	Added kern/eventcount.c
# 	[91/11/08  12:10:33  af]
# 
# Revision 2.28  91/12/13  13:38:28  jsb
# 	Added ./mach/norma_internal_{server,user}.c.
# 
# Revision 2.27  91/11/14  16:52:37  rpd
#	Added norma/ipc_{alias,migrate,special,token,transit}.c.
# 	Removed norma/ipc_xxx.c.
# 	[91/11/00            jsb]
# 
# Revision 2.26  91/11/12  11:50:17  rvb
# 	Restored 2.24 changes.  Fixed the log.
# 	[91/10/30            rpd]
# 
# Revision 2.25  91/10/09  15:56:20  af
# 	Added ddb/{db_cond.c, db_macro.c, db_task_thread.c}.
# 	[91/08/29            tak]
# 
# Revision 2.24  91/09/12  16:36:30  bohman
# 	Added ufs_pager option.
# 	Made boot_ufs/def_pager_setup.c optional on ufs_pager.
# 	[91/09/11  17:01:20  bohman]
# 
# Revision 2.23  91/08/28  11:10:27  jsb
# 	Removed mach/norma_task_user.c.
# 	Added mach_user.c and mach_norma_user.c.
# 	Added norma/xmm_copy.c.
# 	[91/08/15  13:00:43  jsb]
# 
# Revision 2.22  91/08/03  18:17:09  jsb
# 	Replaced NORMA_BOOT with NORMA_DEVICE.
# 	[91/07/27  18:25:13  jsb]
# 
# 	NORMA_IPC: added norma/ipc_net.c.
# 	NORMA_ETHER: added norma/ipc_ether.c.
# 	[91/07/24  22:43:57  jsb]
# 
# 	Removed norma/ipc_vm.c (functionality moved to vm/vm_map.c).
# 	[91/07/04  09:53:11  jsb]
# 
# Revision 2.21  91/08/01  14:34:02  dbg
# 	Add mach_machine_routines.h options file.
# 	[91/08/01            dbg]
# 
# Revision 2.20  91/07/31  17:28:24  dbg
# 	Added db_ext_symtab.c.
# 	[91/07/30  16:41:37  dbg]
# 
# Revision 2.19  91/06/17  15:43:39  jsb
# 	Moved files from ipc to norma; added norma xmm files.
# 	[91/06/17  13:51:16  jsb]
# 
# Revision 2.18  91/06/06  17:03:38  jsb
# 	More NORMA_xxx files.
# 	[91/06/06  16:16:55  jsb]
# 
# Revision 2.17  91/05/14  15:29:19  mrt
# 	Correcting copyright
# 
# Revision 2.16  91/05/08  12:22:21  dbg
# 	Remove individual 'VOLATILE' switches, since 'VOLATILE' is
# 	defined in the master Makefile.template.
# 	[91/04/30            dbg]
# 
# 	Added 'VOLATILE' for kern/{machine,syscall_subr,thread}.c.
# 	[91/03/21            dbg]
# 
# Revision 2.15  91/03/16  14:42:16  rpd
# 	Added MACH_COUNTERS and kern/counters.c.
# 	[91/02/24            rpd]
# 
# Revision 2.14  91/02/05  17:05:09  mrt
# 	Removed /device/subr_rmap.c since it is only
# 	needed by some machine types.
# 	[91/01/25            mrt]
# 
# Revision 2.13  91/01/08  15:08:55  rpd
# 	Removed ./mach/exc_user.c.
# 	[90/12/26            rpd]
# 	Removed FAST_CSW.
# 	[90/12/08            rpd]
# 	Removed MACH_IPC_GENNOS.
# 	[90/11/08            rpd]
# 
# Revision 2.12  90/12/14  10:59:21  jsb
# 	Added ./mach/dev_forward.c (for cross-node device support).
# 	[90/12/14  08:26:07  jsb]
# 
# Revision 2.11  90/10/25  14:43:27  rwd
# 	Added ddb/db_watch.c.
# 	[90/10/16            rpd]
# 
# Revision 2.10  90/09/28  16:53:17  jsb
# 	Added preliminary NORMA support.
# 	[90/09/28  14:01:11  jsb]
# 
# Revision 2.9  90/08/27  21:46:58  dbg
# 	Add debugger support for multiple symbol tables and different
# 	formats (ddb/db_aout.c).
# 	[90/08/17            dbg]
# 	Switch to new kernel debugger (ddb).
# 	[90/07/20            dbg]
# 
# 	Remove sasys.c.  Add file_io.c.
# 	[90/07/17            dbg]
# 
# 	Remove clist.c and ufs_dsort.c.  Add cirbuf.c.
# 	[90/07/09            dbg]
# 
# Revision 2.8  90/06/19  22:57:29  rpd
# 	Removed mach_user.c, mach_port_user.c.
# 	[90/06/03            rpd]
# 
# Revision 2.7  90/06/02  14:46:48  rpd
# 	Added kdb/kdb_aout.c.
# 	[90/05/11  16:47:17  rpd]
# 
# 	Added MACH_VM_DEBUG, vm/vm_debug.c.
# 	[90/04/20            rpd]
# 	Converted to new IPC.
# 	Removed mdb files.
# 	Updated options to agree with MASTER.
# 	[90/03/26  21:40:35  rpd]
# 
#
# Condensed history:
#	Changes for MACH_KERNEL (dbg, rwd).
#	Changes for new scheduling code (dlb).
#	Created mach directory (rpd).
#	Options cleanup (mwyoung).
#	Split up IPC files (rpd).
#	Added MACH and CMUCS options (mja).
#	Cleaned up, removed old history (avie).
#
# CMU_ENDHIST 
#
# Mach Operating System
# Copyright (c) 1991,1990,1989 Carnegie Mellon University
# All Rights Reserved.
# 
# Permission to use, copy, modify and distribute this software and its
# documentation is hereby granted, provided that both the copyright
# notice and this permission notice appear in all copies of the
# software, derivative works or modified versions, and any portions
# thereof, and that both notices appear in supporting documentation.
# 
# CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS" 
# CONDITION.  CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
# ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
# 
# Carnegie Mellon requests users of this software to return to
# 
#  Software Distribution Coordinator  or  Software.Distribution@CS.CMU.EDU
#  School of Computer Science
#  Carnegie Mellon University
#  Pittsburgh PA 15213-3890
# 
# any improvements or extensions that they make and grant Carnegie Mellon
# the rights to redistribute these changes.
#

#
# N.B. "kern/lock.c" is listed as "optional cpus" so that config will
# create a "cpus.h" file.
#

# CHAINED_IOS is experimental. It doubles to triples Linux server
# disk io performance on 1k file systems. It Also improves disk write
# performance for the OSF1 server. (see device/blkio.c, scsi/rz_disk.c)
# Once fully tested, this configuration option should be removed 

OPTIONS/chained_ios		optional chained_ios

OPTIONS/cmucs_disk		optional cmucs_disk
OPTIONS/dipc			optional dipc
OPTIONS/dipc_timer		optional dipc_timer
OPTIONS/dipc_stats		optional dipc_stats
OPTIONS/flipc			optional flipc
OPTIONS/flipc_trace		optional flipc_trace
OPTIONS/flipc_buslock		optional flipc_buslock
OPTIONS/flipc_perf		optional flipc_perf
OPTIONS/flipc_ucheck		optional flipc_ucheck
OPTIONS/flipc_kkt		optional flipc_kkt
OPTIONS/dli			optional dli
OPTIONS/etap			optional etap
OPTIONS/etap_lock_accumulate	optional etap_lock_accumulate
OPTIONS/etap_lock_monitor	optional etap_lock_monitor
OPTIONS/etap_event_monitor	optional etap_event_monitor
OPTIONS/fast_idle		optional fast_idle
OPTIONS/mach_assert		optional mach_assert
OPTIONS/mach_debug		optional mach_debug
OPTIONS/mach_machine_routines.h	optional mach_machine_routines
#
# N.B.  All norma_ options require that the distributed
# IPC service (DIPC) be enabled.
#
OPTIONS/norma_device		optional norma_device
OPTIONS/norma_ipc		optional norma_ipc
OPTIONS/norma_vm		optional norma_vm
OPTIONS/norma_task		optional norma_task
OPTIONS/norma_ether		optional norma_ether
OPTIONS/norma_scsi		optional norma_scsi
OPTIONS/mach_cluster_stats	optional mach_cluster_stats
OPTIONS/mach_counters		optional mach_counters
OPTIONS/mach_host		optional mach_host
OPTIONS/mach_ipc_debug		optional mach_ipc_debug
OPTIONS/mach_ipc_test		optional mach_ipc_test
OPTIONS/mach_kdb		optional mach_kdb
OPTIONS/mach_kgdb		optional mach_kgdb
OPTIONS/mach_kprof		optional mach_kprof
OPTIONS/mach_ldebug		optional mach_ldebug
OPTIONS/mach_lock_mon		optional mach_lock_mon
OPTIONS/mach_mp_debug		optional mach_mp_debug
OPTIONS/mach_pagemap		optional mach_pagemap
OPTIONS/mach_prof		optional mach_prof
OPTIONS/mach_rt			optional mach_rt
OPTIONS/advisory_pageout	optional advisory_pageout
#
# MACH_RT is real-time.  MACH_TR is debugging.
# Unfortunate choice of letters.
#
OPTIONS/mach_tr			optional mach_tr
OPTIONS/mach_vm_debug		optional mach_vm_debug
OPTIONS/mach_page_hash_stats    optional mach_page_hash_stats
OPTIONS/mig_debug		optional mig_debug
OPTIONS/hw_footprint		optional hw_footprint
OPTIONS/simple_clock		optional simple_clock
OPTIONS/stat_time		optional stat_time
OPTIONS/time_stamp		optional time_stamp
OPTIONS/xpr_debug		optional xpr_debug
OPTIONS/bootstrap_symbols	optional bootstrap_symbols
OPTIONS/fast_tas		optional fast_tas
OPTIONS/power_save		optional power_save
OPTIONS/cdli			optional cdli
OPTIONS/zone_debug		optional zone_debug
OPTIONS/kernel_test		optional kernel_test
OPTIONS/vm_cpm			optional vm_cpm
OPTIONS/task_swapper		optional task_swapper
OPTIONS/thread_swapper		optional thread_swapper

OPTIONS/kgdb			optional kgdb

#
# The following options are all related to the x kernel.
#
OPTIONS/xkmachkernel		optional xkmachkernel
OPTIONS/xk_debug		optional xk_debug
OPTIONS/xk_proxy		optional xk_proxy
OPTIONS/dipc_xkern		optional dipc_xkern
OPTIONS/xk_inet			optional xk_inet
OPTIONS/stack_usage		optional stack_usage
OPTIONS/xk_none			optional xk_none
OPTIONS/xk_test			optional xk_test

ddb/db_access.c			optional mach_kdb
ddb/db_break.c			optional mach_kdb
ddb/db_command.c		optional mach_kdb
ddb/db_cond.c			optional mach_kdb
ddb/db_examine.c		optional mach_kdb
ddb/db_expr.c			optional mach_kdb
ddb/db_ext_symtab.c		optional mach_kdb mach_debug
ddb/db_input.c			optional mach_kdb
ddb/db_lex.c			optional mach_kdb
ddb/db_macro.c			optional mach_kdb
ddb/db_output.c			optional mach_kdb
ddb/db_print.c			optional mach_kdb
ddb/db_run.c			optional mach_kdb
ddb/db_sym.c			optional mach_kdb
ddb/db_task_thread.c		optional mach_kdb
ddb/db_trap.c			optional mach_kdb
ddb/db_variables.c		optional mach_kdb
ddb/db_watch.c			optional mach_kdb
ddb/db_write_cmd.c		optional mach_kdb

ddb/tr.c			optional mach_tr
ddb/kernel_test.c		optional kernel_test
kgdb/kgdb_com.c                 optional mach_kgdb
kgdb/kgdb_entry.c               optional mach_kgdb
kgdb/kgdb_output.c              optional mach_kgdb
dipc/dipc_timer.c		optional dipc_timer
dipc/dipc_alloc.c		optional dipc
dipc/dipc_debug.c		optional dipc mach_kdb
dipc/dipc_kmsg.c		optional dipc
dipc/dipc_kserver.c		optional dipc
dipc/dipc_node.c		optional dipc
dipc/dipc_port.c		optional dipc
dipc/dipc_receive.c		optional dipc
dipc/dipc_rpc.c			optional dipc
dipc/dipc_send.c		optional dipc
dipc/norma_special.c		optional dipc
dipc/port_table.c		optional dipc
dipc/dipc_test.c		optional dipc kernel_test
dipc/kkt_test.c			optional dipc kernel_test
dipc/msg_test.c			optional dipc kernel_test
ipc/ipc_entry.c			standard
ipc/ipc_hash.c			standard
ipc/ipc_init.c			standard
ipc/ipc_kmsg.c			standard
ipc/ipc_mqueue.c		standard
ipc/ipc_notify.c		standard
ipc/ipc_object.c		standard
ipc/ipc_port.c			standard
ipc/ipc_pset.c			standard
ipc/ipc_right.c			standard
ipc/ipc_space.c			standard
ipc/ipc_splay.c			standard
ipc/ipc_table.c			standard
ipc/ipc_thread.c		standard
ipc/mach_debug.c		optional mach_ipc_debug
ipc/mach_msg.c			standard
ipc/mach_port.c			standard
ipc/mig_log.c			optional mig_debug
kern/thread_act.c		standard
kern/thread_pool.c		standard
kern/ast.c			standard
kern/bootstrap.c		standard
./mach/bootstrap_server.c	standard
kern/clock.c			standard
kern/counters.c			standard
kern/cpu_data.c                 standard
kern/debug.c			standard
kern/exception.c		standard
kern/eventcount.c		standard
kern/etap.c			standard
kern/etap_pool.c		optional etap
kern/host.c			standard
kern/ipc_clock.c		standard
kern/ipc_host.c			standard
kern/ipc_kobject.c		standard
kern/ipc_mig.c			standard
kern/ipc_subsystem.c		standard
kern/ipc_sync.c			standard
kern/ipc_tt.c			standard
kern/kalloc.c			standard
kern/ledger.c			standard
./mach/ledger_server.c		standard
kern/lock.c			optional cpus
kern/lock_mon.c			optional mach_lock_mon
kern/mach_clock.c		standard
kern/mach_factor.c		standard
kern/machine.c			standard
kern/profile.c			optional mach_prof
kern/printf.c			standard
kern/priority.c			standard
kern/processor.c		standard
kern/queue.c			standard
kern/rpc.c			standard
kern/rtalloc.c			optional mach_rt
kern/sched_prim.c		standard
kern/sscanf.c			standard
kern/startup.c			standard
kern/subsystem.c		standard
kern/sync_lock.c		standard
kern/sync_policy.c		standard
kern/sync_sema.c		standard
kern/syscall_emulation.c	standard
kern/syscall_subr.c		standard
kern/syscall_sw.c		standard
kern/task.c			standard
kern/task_swap.c		standard
kern/thread.c			standard
kern/thread_swap.c		optional thread_swapper
kern/timer.c			standard
kern/posixtime.c		standard
kern/xpr.c			optional xpr_debug
kern/zalloc.c			standard
./mach/clock_reply_user.c	standard
./mach/clock_server.c		standard
./mach/mach_host_server.c	standard
./mach/mach_port_server.c	standard
./mach/mach_server.c		standard
./mach/sync_server.c		standard
./mach/memory_object_default_user.c	standard
./mach/memory_object_user.c		standard
./mach/exc_user.c		standard
./mach/prof_user.c		optional mach_prof
./mach_debug/mach_debug_server.c	optional mach_debug
vm/memory_object.c		standard
vm/vm_debug.c			optional mach_vm_debug
vm/vm_external.c                optional mach_pagemap
vm/vm_fault.c			standard
vm/vm_init.c			standard
vm/vm_kern.c			standard
vm/vm_map.c			standard
vm/vm_object.c			standard
vm/vm_pageout.c			standard
vm/vm_resident.c		standard
vm/vm_user.c			standard
vm/vm_test.c			optional kernel_test
device/blkio.c			standard
device/chario.c			standard
device/cirbuf.c			standard
device/dev_lookup.c		standard
device/dev_name.c		standard
device/dev_pager.c		standard
./device/device_reply_user.c	standard
./device/device_server.c	standard
device/device_init.c		standard
device/driver_lock.c		standard
device/ds_routines.c		standard
device/io_scatter.c		standard
device/net_io.c			standard
device/subrs.c			standard
./device/dev_forward.c		optional norma_device
./mach/mach_norma_server.c	optional norma_task
device/test_device.c		optional test_device device-driver
device/data_device.c		standard
device/net_device.c		standard
./mach/mach_norma_user.c	optional norma_task
./kern/norma_task_server.c	optional norma_task
./kern/norma_task_user.c	optional norma_task
./mach/mach_user.c		optional norma_task
kern/norma_bootstrap.c		standard
kern/norma_task.c		optional norma_task
./xmm/proxy_user.c		optional norma_vm
./xmm/proxy_server.c		optional norma_vm
./xmm/xmm_internal_user.c	optional norma_vm
./xmm/xmm_internal_server.c	optional norma_vm
xmm/svm_change.c		optional norma_vm
xmm/svm_copy.c			optional norma_vm
xmm/svm_pagecopy.c		optional norma_vm
xmm/svm_request.c		optional norma_vm
xmm/svm_state.c			optional norma_vm
xmm/svm_temporary.c		optional norma_vm
xmm/xmm.c			optional norma_vm
xmm/xmm_export.c		optional norma_vm
xmm/xmm_import.c		optional norma_vm
xmm/xmm_invoke.c		optional norma_vm
xmm/xmm_object.c		optional norma_vm
xmm/xmm_server.c		optional norma_vm
xmm/xmm_split.c			optional norma_vm
xmm/xmm_svm.c			optional norma_vm
xmm/xmm_user.c			optional norma_vm
xmm/vm_copy.c			optional norma_vm
#
# x-kernel files
#
# generated files
#
./uk_xkern/traceLevels.c                     	optional xkmachkernel
./uk_xkern/protocols.c                       	optional xkmachkernel
./uk_xkern/xk_lproxyU.c                      	optional xk_proxy
./uk_xkern/xk_uproxyS.c                      	optional xk_proxy
uk_xkern/gen/ptbl_static.c		     	optional xkmachkernel
#
# x-kernel utilities
#
uk_xkern/framework/alloc_bs.c	        	optional xkmachkernel
uk_xkern/framework/event_init.c			optional xkmachkernel
uk_xkern/framework/eth_support.c		optional xkmachkernel
uk_xkern/framework/plat_alloc.c			optional xkmachkernel
uk_xkern/framework/process.c               	optional xkmachkernel
uk_xkern/framework/trace.c                 	optional xkmachkernel
uk_xkern/framework/time.c                  	optional xkmachkernel
uk_xkern/framework/utils.c			optional xkmachkernel
uk_xkern/framework/xk_flags.c			optional xkmachkernel
uk_xkern/framework/xk_init.c			optional xkmachkernel
#
# xkernel platform-independent, domain-independent core
#
xkern/framework/alloc/alloc_block.c	        optional xkmachkernel
xkern/framework/alloc/alloc_bud.c	        optional xkmachkernel
xkern/framework/alloc/alloc_guar.c	        optional xkmachkernel
xkern/framework/alloc/alloc_int.c	        optional xkmachkernel
xkern/framework/alloc/allocator.c	        optional xkmachkernel
xkern/framework/event.c                 	optional xkmachkernel
xkern/framework/event_monitor.c                 optional xkmachkernel
xkern/framework/hostbyname.c                    optional xkmachkernel
xkern/framework/hoststr.c                       optional xkmachkernel
xkern/framework/idmap/idmap.c                   optional xkmachkernel
xkern/framework/list.c                          optional xkmachkernel
xkern/framework/msg.c                           optional xkmachkernel
xkern/framework/netmask.c                       optional xkmachkernel
xkern/framework/ocsum.c				optional xkmachkernel
xkern/framework/part.c                          optional xkmachkernel
xkern/framework/path.c                          optional xkmachkernel
xkern/framework/prottbl.c                       optional xkmachkernel
xkern/framework/romopt.c                        optional xkmachkernel
xkern/framework/sessn_gc.c                      optional xkmachkernel
xkern/framework/upi.c                           optional xkmachkernel
xkern/framework/upi_defaults.c			optional xkmachkernel
xkern/framework/xk_debug.c			optional xkmachkernel
#
# xkernel protocols
#
xkern/protocols/arp/arp.c               	optional xkmachkernel
xkern/protocols/arp/arp_rom.c           	optional xkmachkernel
xkern/protocols/arp/arp_table.c         	optional xkmachkernel
xkern/protocols/bid/bid.c               	optional xkmachkernel
xkern/protocols/bidctl/bidctl.c         	optional xkmachkernel
xkern/protocols/bidctl/bidctl_id.c      	optional xkmachkernel
xkern/protocols/bidctl/bidctl_state.c   	optional xkmachkernel
xkern/protocols/bidctl/bidctl_timer.c   	optional xkmachkernel
xkern/protocols/blast/blast.c           	optional xkmachkernel
xkern/protocols/blast/blast_control.c   	optional xkmachkernel
xkern/protocols/blast/blast_debug.c     	optional xkmachkernel
xkern/protocols/blast/blast_hdr.c       	optional xkmachkernel
xkern/protocols/blast/blast_input.c     	optional xkmachkernel
xkern/protocols/blast/blast_output.c    	optional xkmachkernel
xkern/protocols/blast/blast_stack.c     	optional xkmachkernel
xkern/protocols/blast/blast_util.c      	optional xkmachkernel
xkern/protocols/bootp/bootp.c      		optional xkmachkernel
xkern/protocols/chan/chan.c             	optional xkmachkernel
xkern/protocols/chan/chan_client.c      	optional xkmachkernel
xkern/protocols/chan/chan_debug.c       	optional xkmachkernel
xkern/protocols/chan/chan_mapchain.c    	optional xkmachkernel
xkern/protocols/chan/chan_server.c      	optional xkmachkernel
xkern/protocols/eth/eth.c               	optional xkmachkernel
xkern/protocols/icmp/icmp.c             	optional xk_inet
xkern/protocols/icmp/icmp_reqrep.c      	optional xk_inet
xkern/protocols/ip/ip.c                 	optional xk_inet
xkern/protocols/ip/ip_control.c         	optional xk_inet
xkern/protocols/ip/ip_gc.c              	optional xk_inet
xkern/protocols/ip/ip_util.c            	optional xk_inet
xkern/protocols/ip/ip_frag.c            	optional xk_inet
xkern/protocols/ip/ip_hdr.c             	optional xk_inet
xkern/protocols/ip/ip_input.c           	optional xk_inet
xkern/protocols/ip/ip_rom.c             	optional xk_inet
xkern/protocols/ip/iproute.c            	optional xk_inet
xkern/protocols/mship/mship.c                   optional dipc_xkern
uk_xkern/protocols/kkt/kkt_ext.c	 	optional dipc_xkern
uk_xkern/protocols/kkt/kkt_int.c	 	optional dipc_xkern
uk_xkern/protocols/kkt/kkt_xk.c		 	optional dipc_xkern
xkern/protocols/select/multi_select.c   	optional xk_none
xkern/protocols/select/select.c         	optional xk_none
xkern/protocols/select/select_common.c  	optional xk_none
xkern/protocols/tcp/in_hacks.c         		optional xk_none
xkern/protocols/tcp/sb.c               		optional xk_none
xkern/protocols/tcp/tcp_debug.c        		optional xk_none
xkern/protocols/tcp/tcp_hdr.c          		optional xk_none
xkern/protocols/tcp/tcp_input.c        		optional xk_none
xkern/protocols/tcp/tcp_output.c       		optional xk_none
xkern/protocols/tcp/tcp_port.c         		optional xk_none
xkern/protocols/tcp/tcp_subr.c         		optional xk_none
xkern/protocols/tcp/tcp_timer.c        		optional xk_none
xkern/protocols/tcp/tcp_usrreq.c       		optional xk_none
xkern/protocols/tcp/tcp_x.c            		optional xk_none
xkern/protocols/test/dgramtest.c                optional xk_test
xkern/protocols/udp/udp.c               	optional xk_inet
xkern/protocols/udp/udp_port.c          	optional xk_inet
xkern/protocols/vcache/vcache.c             	optional xkmachkernel
xkern/protocols/vchan/vchan.c           	optional xk_none
xkern/protocols/vdrop/vdrop.c			optional xk_none
xkern/protocols/vmux/vmux.c             	optional xkmachkernel
xkern/protocols/vnet/vnet.c             	optional xkmachkernel
xkern/protocols/vsize/vsize.c           	optional xkmachkernel
xkern/protocols/proxy/uproxy.c  	 	optional xk_proxy
xkern/protocols/proxy/proxy_util.c	 	optional xk_proxy
xkern/protocols/proxy/proxy_util_ink.c	 	optional xk_proxy

device/cdli.c			optional cdli
device/eth_demux.c		optional cdli
device/mbuf.c			optional cdli
device/nd_lan.c			optional cdli
#
# Flipc files
#
flipc/flipc_usermsg.c			optional flipc
flipc/flipc_kfr.c			optional flipc
flipc/flipc_message_engine.c		optional flipc
flipc/flipc_debug.c			optional flipc
