packlib/kernlib/kerngen/obsolete/kerncdc/cern7600
