Binary: generate-pxe-menu

Debian packages that has this binary:

Package: drbl

/usr/sbin/generate-pxe-menu