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