packlib/kernlib/kerngen/obsolete/kernpdp/pdp10mln
