00001 #if !defined(__EXC_DEBUG_HPP__) 00002 #define __EXC_DEBUG_HPP__ 00003 00004 // 00005 // detailed debugging switches 00006 // 00007 #if L4VMM_BUILD_DEBUG 00008 00009 // 00010 // debug switch: 00011 // 0: disabled 00012 // 1: sanity checks 00013 // 2: log received messages 00014 // 3: log actions 00015 // 4: log forwarding & exception handling 00016 // 00017 #define L4VMM_EXC_DEBUG 1 00018 00019 #else 00020 00021 #define L4VMM_EXC_DEBUG 0 00022 00023 #endif 00024 00025 #endif 00026 00027 // ***** end of source ***** // 00028