#!ipxe

# PlasmaCloud Netboot - control-plane
# Generated: 2025-12-10 21:58:15 UTC

# Set variables
set boot-server ${boot-url}

# Display info
echo Loading PlasmaCloud (control-plane profile)...
echo Kernel: bzImage
echo Initrd: initrd
echo

# Load kernel and initrd
kernel ${boot-server}/control-plane/bzImage init=/nix/store/*/init console=ttyS0,115200 console=tty0 loglevel=4
initrd ${boot-server}/control-plane/initrd

# Boot
boot