Next Previous Contents

4. Miscellaneous

4.1 Interrupts specifications

Interrupts are not handled by this device driver.

4.2 Debug options

User can dynamically specify the level of debug he wants to be displayed on the kernel log by a simple ioctl() call. There are 4 different debug levels on the ICV150 device driver :

You can display all the kernel messages by using dmesg command.

Note that debug messages slow down the device driver.

4.3 Special files

Kernel uses special files to save all the systems parameters. Some of those can be very useful to get informations about the device driver :

/proc/devices:

this file indexes all the devices drivers installed on the system with their major number and their type (char or block).

/proc/ioports:

this file indexes all the I/O regions that have been taken by devices drivers. The name of the device driver that owns the region is also displayed.

/proc/ksyms:

this file indexes all the kernel's entry points with their address and the name of the function. You can display these informations with the ksyms command.

/proc/modules:

this file registers all the loaded modules with their memory occupation and the number of processes/threads that have opened it. You can display these informations with the lsmod command.

/proc/version:

this file contains the current running kernel version. It is usefull to see if your module version is compatible with the current kernel but you can force the module even if the versions are incompatible with insmod -f.

/dev/icv150_[1-4]:

these files are the devices files associated with each board using the ICV150 device driver. You can see major and minor number of each of these files with ls -l command.

/var/log/messages:

these file contains all the messages sent by kernel with printk() calls. You can display these messages with the dmesg command.

/etc/devinfo:

this file indexes all the different device drivers types that can exist with their major and minor number.


Next Previous Contents