module "tkgmgmtsetup" {