[DGD] Kernel Library 1.3

[Felix A. Croes]

I've broken the kernel library out of the DGD distribution:

    http://ftp.dworkin.nl/kernellib/kernellib-1.3.tar.gz

The kernel library code is in the public domain.  For instructions on
how to upgrade from kernel library version 1.2.40 (included with DGD 1.3),
see the file kernellib/doc/README.kernel.

Regards,
Felix Croes