SOLO kernel sources extracted from solo.dsk

KERNELTEXT1: Kernel module preface
KERNELTEXT2: Basic kernel data types.
KERNELTEXT3: Data types for the I/O controllers. Kernel  initialization.
KERNELTEXT4: Concurrent Pascal virtual machine interpreter.