Binary: switch-pxe-menu

Debian packages that has this binary:

Package: drbl

/usr/share/drbl/sbin/switch-pxe-menu

Random binary cloud:

amaddclient EfiRom gs golly lcm-logplayer llvm-ar lrztar orcc pcl_pcd_image_viewer qmake rdiff-backup rt-shredder xrdcp parse-table debcheckout dnshistory consambig t2p cwnnstat hpssd kism3d segmasker rltraceroute6 openntpd cws-6d.x python2-dib-run-parts cluster_quality.py viewvc-make-database qvlc xorp_rtrmgr