kraken-workstation-manager