https://www.redesbinarias.com/restart-your-mac-from-the-keyboard/