# This script assumes fs0 is the SD card
# It may change if you connect USB devices
# DO NOT USE THIS SCRIPT FOR USB BOOT!

# GUID for Raspberry Pi Specific Settings
SET GUID CD7CC258-31DB-22E6-9F22-63B0B8EED6B5
ECHO %GUID%

# Set CPU Clock to Max (1200Mhz on Pi3B, 1400Mhz on Pi3B+)
SETVAR -guid %GUID% CpuClock =0x00000002
SETVAR -guid %GUID% CpuClock

# Move SD Card to the first boot option
bcfg boot mv 2 0

# Disable this script
mv fs0:\startup.nsh fs0:\startup.fsh

reset