packlib/kernlib/kerngen/obsolete/kernvmi/vmiobsol
