menu.c32 from iPXE

[robinsmidsrod]

You edit src/config/local/general.h and enable the features you need. See src/config/general.h for what you can tweak. COMBOOT support was disabled in the default build because most people used it for menu support, and the native menu feature supports most of what people need. Enabling it is a one-line change in the before-mentioned file. The entire src/config/local folder is exempt from git, so you can easily keep a locally modified version of it.

If the docs on ipxe.org/ didn't state this clearly enough, we'd love to know where you were looking for this information, so that we can add appropriate links.

If you'd like to contribute a Kconfig-style system to modify the src/config/local/*.h files, I'm sure several people would really like that.

PS: Binary size is one of the key constraints of a boot ROM, so the developers are always looking to minimize the size of the default build.