CampusCloud VMs are managed through vSphere, which is accessed through Citrix Workspace. From here, you can select Campus Cloud vSphere Client. Install Citrix Viewer when prompted.
This will take you to VMware® vSphere, where you can log in with your CMU credentials. The username is just your Andrew ID (not the email). From here, navigate to the VM -> Actions -> Edit Settings:
Here, you can switch the boot mode from the default (Legacy/BIOS) to UEFI via VM Options -> Boot Options -> Firmware:
In this repository, add hostname to the hosts array in flake.nix. If not already present, create a user entry for yourself, following these instructions. Then, create hosts/hostname/configuration.nix following the pattern of the other hosts in hosts/:
{ config, lib, pkgs, ... }:
{
imports = [
../../platforms/campus-cloud
];
system.stateVersion = "25.11"; # use the version of NixOS you are installing
}

