mkernel_config.h File Reference

Kernel Configuration Parameters. More...

Go to the source code of this file.

Defines
#define	CFG_PEDANTIC   1
	turn on parameter checks in the kernel API; for testing only and it should be turned off in the production system.
#define	USE_WATCHDOG   1
	use the watchdog timer.
#define	TICK_MS   100
	ticks intervall in ms.
#define	USE_I2C   1
	Include the I2C.
#define	USE_ADC   1
	Include the analog digital converter.
#define	USE_CVREF   1
	Include the cvref module.
#define	USE_COMP   1
	include the comperator module
#define	USE_USB   0
	include the usb interface
#define	USE_PWM   0
	use the PWM module.
#define	USE_TICK_INDICATOR   1
	use the LED on the SBC44UC board to blink according to the kernel ticks.

---

Detailed Description

Kernel Configuration Parameters.

Overview

This configuration file is used to configure the kernel. After modifying any configuration parameter the complete os has to be rebuild, which means after changing the parameters execute the following commands:

  $ make clean
  $ make deps
  $ make

Memory Layout

The basic memory layout is shown below. The linker control file assumes that the address 0x0000 - 0x0100 is used for the access bank. Starting from this address on, the linker will place global variables.

Data of drivers is not kept there.

                        +------------------+ 0x0000
                        |XXXXXXXXXXXXXXXXXX|          Reserver for compiler
                        |XXXXXXXXXXXXXXXXXX|
                        +------------------+ 0x0100   start of data
                        |                  |          global and static variables will be stored
                        |                  |          here.
                        +------------------+ 0x0200
                        |                  |
                        |                  |
                        +------------------+ 0x0300
                        |                  |
                        |                  |
                        +------------------+ 0x0400
                        |                  |
                        |                  |
                        +------------------+ 0x0500
                        |                  |
                        |                  |
                        +------------------+ 0x0600
                        |                  |
                        |                  |
                        +------------------+ 0x0700   kdata
                        |                  |
                        |                  |
                        +------------------+ 0x07ff

Definition in file mkernel_config.h.

---

Define Documentation

#define TICK_MS   100

ticks intervall in ms. if you want to change this value please be aware that there are some limits to this value. If it is selected to small the CPU will be busy handle the scheduling. Please note, if using T2 to generate the tick clock, the register PR2 is an 8 Bit register. Therefore we do simulate a 16 bit counter in software. In case of T0 all this is done in hardware. The timer is selected by changing the USE_TICK_TIMER value in the file make.conf manually. Definition at line 116 of file mkernel_config.h.

#define USE_PWM   0

use the PWM module. The output will be present on C1. If this mode is selected it is not possible to address the LED's and the relays any more. Definition at line 132 of file mkernel_config.h.

#define USE_WATCHDOG   1

use the watchdog timer. if this is set to 1, the watchdog timer of the CPU is used. The idle task clears the watchdog timer. If the idle task stops running for a some reason for a while, the processor is restarted and a the so called process alarm indication is set (see trace.h). Definition at line 101 of file mkernel_config.h.

---