KERNEL attribute

Every node of the network must be loaded with a copy of the appropriate version of the microkernel and other necessary software. This is found by opening the correct kernel file. The processor type you give defines the appropriate kernel files for your hardware.

On very rare occasions it may be necessary to use a special kernel file for a particular node, rather than the default provided for processors of its type. This may be done with the KERNEL attribute. For example:

processor videoboard kernel="video.krn"

The configurer looks for the kernel file, whether default or specified by the KERNEL attribute, first in the current directory, and then in each folder specified in the environment variable PATH. This search is not done if the KERNEL attribute specified a full path-name.

Special kernel files will be supplied by 3L or by hardware manufacturers if and when necessary.