#ifndef __default_keys_h
#define __default_keys_h

#assert CONF_FRAMEWORK (Uniform)
#assert CONF_ID (Capability) 
#assert CONF_ALLOCATED (False)
#assert CONF_ATOMIC (False)
#assert CONF_DEBUGGED (False)
#assert CONF_PROTECTED (False)
#assert CONF_TIMED (False)
#assert CONF_SHARED (False)

#assert CONF_NODE (SP_PC) 
#assert CONF_CPU (Ix86) 
#assert CONF_BUS (PCI) 

#assert CONF_ADDRESS_SPACE (Flat)
#assert CONF_ADDRESS_SPACE (Paged)
#assert CONF_CHANNEL (Stream) 
#assert CONF_CHANNEL (Datagram) 
#assert CONF_CHANNEL (AM) 
#assert CONF_COMMUNICATOR (Link) 
#assert CONF_COMMUNICATOR (Port) 
#assert CONF_COMMUNICATOR (Mailbox) 
#assert CONF_COMMUNICATOR (ARM_Segment) 
#assert CONF_COMMUNICATOR (AM_Handler) 
#assert CONF_ENVELOPE (Typed) 
#assert CONF_ENVELOPE (Untyped) 
#assert CONF_HANDLER (Function) 
#assert CONF_HANDLER (Thread) 
#assert CONF_HANDLER (Semaphore) 
#assert CONF_NETWORK (Loop) 
#assert CONF_NETWORK (Ethernet) 
#assert CONF_NETWORK (Myrinet) 
#assert CONF_SEGMENT (Static) 
#assert CONF_SEGMENT (Dynamic) 
#assert CONF_SYNCHRONIZER (Mutex) 
#assert CONF_SYNCHRONIZER (Semaphore) 
#assert CONF_SYNCHRONIZER (Condition) 
#assert CONF_TASK (Exclusive) 
#assert CONF_TASK (Mutual) 
#assert CONF_THREAD (Exclusive) 
#assert CONF_THREAD (Cooperative) 
#assert CONF_THREAD (Concurrent) 
#assert CONF_TIMER (Clock) 
#assert CONF_TIMER (Alarm) 
#assert CONF_TIMER (Chronometer) 

#endif
