packlib/kernlib/kerngen/history/kerndos
