| mkernel/mkernel_config.h [code] | Kernel Configuration Parameters |
| mkernel/include/alarm.h [code] | This file contains the interfaces for the OSEK/VDX compatible alarm handling |
| mkernel/include/cas.h [code] | Compare an set methods |
| mkernel/include/cbuffer.h [code] | The driver lib contains support functions for drivers |
| mkernel/include/compiler.h [code] | This file contains all parameters which are related to the SDCC compiler |
| mkernel/include/dev.h [code] | This file contains all defintions related to the device concept of mkernel |
| mkernel/include/driverlib.h [code] | The driver lib contains support functions for drivers |
| mkernel/include/errno.h [code] | Error codes of the operating system |
| mkernel/include/event.h [code] | This file contains the interfaces for the OSEK/VDX compatible event handling |
| mkernel/include/execution.h [code] | This file contains basic hardware definitions as for example the clock frequency of the used hardware |
| mkernel/include/hardware.h [code] | This file contains basic hardware definitions as for example the clock frequency of the used hardware |
| mkernel/include/I2Cmaster.h [code] | This module contains the interface to the I2C controler of the processor |
| mkernel/include/idle.h [code] | This file contains the defintions needed for the implementation of the idle task |
| mkernel/include/interrupts.h [code] | OSDEK/VDX Interrupt control interface |
| mkernel/include/ior5e.h [code] | This module contains the defintions for the IOR5E booard from modtronix |
| mkernel/include/kernel.h [code] | This file contains the complete interface description of the kernel |
| mkernel/include/microwire.h [code] | This module containS the microwire interface |
| mkernel/include/panic.h [code] | This is the interface specification for the panic interface |
| mkernel/include/pic18fdevices.h [code] | This file includes the interfaces to the hardware components which are integrated in the pic18f4550 chip |
| mkernel/include/proc.h [code] | This file contains all definitions and types specific to the scheduling and task control |
| mkernel/include/pwm.h [code] | |
| mkernel/include/resource.h [code] | OSEK/VDX Handle Resources This file contains the code to handle resources according to the OSEK/VDX standard Section 13.4 |
| mkernel/include/task.h [code] | OSDEK/VDX Task interface |
| mkernel/include/timer.h [code] | Handle timers |
| mkernel/include/trace.h [code] | Kernel status indications |
| mkernel/include/typedefs.h [code] | This file contains commonly used type definitions |
| mkernel/include/usb.h [code] | This file contains all USB hardware specific definitions which are not available in the standard header files |
| mkernel/include/usbdriver.h [code] | This file contains the interfaces to the usb driver |
| mkernel/include/wdt.h [code] | This module contains the watch dog timer |
