-# shell - the EFI shell (requires external program; see rEFInd
-# documentation for details)
-# gptsync - the (dangerous) gptsync.efi utility (requires external
-# program; see rEFInd documentation for details)
-# about - an "about this program" option
-# exit - a tag to exit from rEFInd
-# shutdown - shuts down the computer (a bug causes this to reboot EFI
-# systems)
-# reboot - a tag to reboot the computer
-# Default is shell,about,shutdown,reboot
+# shell - the EFI shell (requires external program; see rEFInd
+# documentation for details)
+# gptsync - the (dangerous) gptsync.efi utility (requires external
+# program; see rEFInd documentation for details)
+# apple_recovery - boots the Apple Recovery HD partition, if present
+# mok_tool - makes available the Machine Owner Key (MOK) maintenance
+# tool, MokManager.efi, used on Secure Boot systems
+# about - an "about this program" option
+# exit - a tag to exit from rEFInd
+# shutdown - shuts down the computer (a bug causes this to reboot
+# EFI systems)
+# reboot - a tag to reboot the computer
+# Default is shell,apple_recovery,mok_tool,about,shutdown,reboot