Go to the source code of this file.
DEBUG_ Macros | |
| 0 ... no output 1 ... debugging output for this group | |
| #define | DEBUG_ERRORS 1 /**< verbose error handling */ |
| verbose error handling | |
| #define | DEBUG_MSG 1 /**< show debug messages */ |
| show debug messages | |
| #define | DEBUG_MALLOC 0 /**< debug memory allocations */ |
| debug memory allocations | |
| #define | DEBUG_MALLOC_EACH 0 /**< debug msg for each alloc/free */ |
| debug msg for each alloc/free | |
| #define | DEBUG_PALLOC 0 /**< debug page allocations */ |
| debug page allocations | |
| #define | DEBUG_ADDRESS 0 /**< debug address conversion */ |
| debug address conversion | |
| #define | DEBUG_PCI 0 /**< debug PCI support */ |
| debug PCI support | |
| #define | DEBUG_IRQ 0 /**< debug IRQ handling */ |
| debug IRQ handling | |
| #define | DEBUG_RES 0 /**< debug resource handling */ |
| debug resource handling | |
| #define | DEBUG_RES_TRACE |
| debug function calls in memory/io resource management | |
| #define | DEBUG_TIMER 0 /**< debug timers */ |
| debug timers | |
| #define | DEBUG_SOFTIRQ 0 /**< debug softirqs */ |
| debug softirqs | |
| #define | DEBUG_PROCESS 0 /**< debug process-level */ |
| debug process-level | |
| #define | DEBUG_SOUND 0 /**< debug sound */ |
| debug sound | |
| #define | DEBUG_SOUND_REG 0 /**< debug sound device registration */ |
| debug sound device registration | |
| #define | DEBUG_SOUND_WRITE 0 /**< debug sound write */ |
| debug sound write | |
| #define | DEBUG_SOUND_READ 0 /**< debug sound read */ |
| debug sound read | |
| #define | DEBUG_SLAB 1 /**< debug slab functions */ |
| debug slab functions | |
Configuration Macros | |
| #define | MM_KREGIONS 1 /**< max number of kmem regions */ |
| max number of kmem regions | |
| #define | SCHED_YIELD_OPT |
| scheduling method for TASK_RUNNING user contexts 0 - l4_yield() / 1 - l4_usleep(to) | |
| #define | SCHED_YIELD_TO 10 /**< timeout for scheduling sleep (in us) */ |
| timeout for scheduling sleep (in us) | |
| #define | SOFTIRQ_THREADS |
| number of desired softirq threads ONLY one supported for now! | |
| #define | PCI_DEVICES 16 /**< number of supported PCI devices */ |
| number of supported PCI devices | |
Definition in file __config.h.