ipxe/src/config/local/general.h

#ifndef CONSOLE_H_RTHONI
#define CONSOLE_H_RTHONI

#define PXE_CMD		/* PXE commands */
#define REBOOT_CMD		/* Reboot command */
#define POWEROFF_CMD		/* Power off command */

#define PING_CMD		/* Ping command */
#define CONSOLE_CMD		/* Console command */

#endif